$ 0 0 I was not aware of such a requirement. I thought the Standard said that floating point format is implementation-defined.