Timestamp::time_type is introduced; it is the type of the return value of Timestamp::millis(); values are converted to that type explicitly.