title: python time.time() and "Daylight Saving Time"
body: <p>What happens when the clock of the computer running python (Windows or Linux)
  gets automatically changed and a call <code>time.time()</code>?</p>
  
  <p>I've read that the value of <code>time.time()</code> will be smaller when the clock is changed manually to some value in the past.</p>