in reply to Re: Hex floating point format specifier?in thread Hex floating point format specifier?
Thanks afoken (and anonymonk). I'd begun to think I'd imagined it. I didn't think to look there (5.22) because it seems like a much older memory.