Improved get_utc_timestamp() and related functions.