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/graph-tool-graphml-and-networkx-tp4024982p4024986.html
Sent from the Main discussion list for the graph-tool project mailing list
archive at Nabble.com.
_______________________________________________
graph-tool mailing list
[email protected]
http://lists.skewed.de/mailman/listinfo/graph-tool
