On Fri, Sep 22, 2017, at 03:41, Rob Cliffe wrote: > Unrelated thought: Users might be unsure if the exponent in a > hexadecimal float is in decimal or in hex. Or, for that matter, a power of two or of sixteen.