10 Feb
2013
10 Feb
'13
12:51 a.m.
On 02/09/2013 10:01 PM, tcb wrote:
alright, may as well bookmark it here- you can do this conversion directly in python with float.fromhex()
float.fromhex("0x1.5c71d0cb8d943p+3") 10.888893506588493
Very nice! And indeed it seems to be possible to output a string in the same manner:
float.hex(10.888893506588493) '0x1.5c71d0cb8d943p+3'
Thanks for pointing this out. Cheers, Tiago -- Tiago de Paula Peixoto <tiago@skewed.de>