title: How to convert a float into hex
body: <p>In Python I need to convert a bunch of floats into hexadecimal. It needs to be zero padded (for instance, 0x00000010 instead of 0x10). Just like <a href="http://gregstoll.dyndns.org/~gregstoll/floattohex/" rel="noreferrer">http://gregstoll.dyndns.org/~gregstoll/floattohex/</a> does. (sadly i can't use external libs on my platform so i can't use the one provided on that website)</p>
  
  <p>What is the most efficient way of doing this?</p>