Improve <stdfloat.h>, <cstdfloat>, and other floating-point constants.