Just curious: is there not a standard library function to return a datetime as UTC?