https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90168
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- >or to use float type to hold frequency? This won't work correctly as floating point is different between hosts. There has been some usage of floating point inside of GCC which was removed because of that issue. I thought that was documented somewhere too.