Added efficient routines for converting timestamp_t