Re: Proposal: Hexadecimal floating point constants