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.888893506588493Very 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 <[email protected]>
signature.asc
Description: OpenPGP digital signature
_______________________________________________ graph-tool mailing list [email protected] http://lists.skewed.de/mailman/listinfo/graph-tool
