RE: Proposal: Hexadecimal floating point constants