https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114126
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Not to mention that if it would be rounded up (like it happens e.g. in the M_PI_f32 case), you wouldn't get inf either, nor -inf, but some large negative number.
