enhanced documentation of Time.timestamp