title: Parse hours without leading zeroes by strptime in Python
body: <p>Suppose you have time in this format:</p>
  
  <pre><code>a = [..., 800.0, 830.0, 900.0, 930.0, 1000.0, 1030.0, ...]
  </code></pre>
  
  <p>The problem is that leading zeroes for hours are missing. For example <code>00:30</code> is represented by <code>30</code>, <code>08:00</code> is represented by <code>800.</code> and <code>00:00</code> is represented by <code>2400</code>.
  Is it possible to parse this data to <code>time</code> object using <code>strptime</code> method?
  I tried using following code</p>
  
  <pre><code>hours = [time.strptime(str(int(i)), "%H%M") for i in a]
  </code></pre>
  
  <p>but got </p>
  
  <pre><code>ValueError: unconverted data remains: 0
  </code></pre>
  
  <p>P.S. I'm using Python 2.7.</p>