https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113155
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Can you provide the following: * How you configured/built GCC? * What command line options that you pass to GCC for building your application? I am suspecting you are not using the correct options to get the __aeabi_f2ulz that does not convert to double first.