https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66302
--- Comment #3 from Marc Glisse <glisse at gcc dot gnu.org> --- > Does it make sense? So you expect the random generator for float to throw away half of the random bits it is getting from the engine, just for this questionable benefit? And actually 75%, so it matches with __float128? That seems wrong to me.