http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48236
--- Comment #5 from Jon Valdes <juanval at gmail dot com> 2011-03-22 14:56:25 UTC --- (In reply to comment #4) > Above 2^24 and below 2^25, only even integers are not rounded when converted > to > float and odd integers are rounded. I think it is what you report in comment > #3. Could be, but why would it only happen for uint64_t, and not int64_t?