https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109008
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- The "easiest" way would be if the range endpoints would have one bit more of mantissa and so we can represent all endpoints with one ulp off (aka nextafter/nextbefore). So constants would always become non-singleton (beyond the original precision).
