https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65723
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- I think this is WONTFIX. If you use from=0, to=2 then it works fine, so use those as the distribution parameters and then add 0x1p52 to the result.
