title: uint64 UTC time
body: <p>I have a UTC date time without the formatting stored in a uint64, ie: <code>20090520145024798</code> 
  I need to get the hours, minutes, seconds and milliseconds out of this time. I can do this very easily by converting it to a string and using substring. However, this code needs to be very fast so I would like to avoid string manipulations. Is there faster way, perhaps using bit manipulation to do this? Oh by the way this needs to be done in C++ on Linux.</p>