9 Feb
2013
9 Feb
'13
9:01 p.m.
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
-- View this message in context: http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/... Sent from the Main discussion list for the graph-tool project mailing list archive at Nabble.com.