https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70235
--- Comment #24 from Jerry DeLisle <jvdelisle at gcc dot gnu.org> --- Dominiq, I have tested as much as I can with several variations of values of the float and all looks good. I am ready to approve your patch when you are.