https://gcc.gnu.org/bugzilla/show_bug.cgi?id=87390
--- Comment #18 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- Anyway, I recall that the behavior related to extra precision and range is described by 6.3.1.8. Thus I really don't see why 6.3.1.4 and 6.3.1.5 would come into play here (except in case of explicit conversion).