title: does PHP's time() always round down to the second?
body: <p>Does PHP's time() function round to the nearest second, or round down to the second?</p>
  
  <p>For example, if the time is 11:25:31.9, would time() return the second as 31 (rounded down) or as 32 (rounded to nearest second)?</p>