https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93727
--- Comment #26 from anlauf at gcc dot gnu.org --- (In reply to Jerry DeLisle from comment #25) > Also with the value 0.0 The shortest is 0X0.P0 or should we use 0X0.0P0. I > will see what others do. I thought I would toss this out for comment. 0X0.P0 is correct, see also comment#16.
