Timestamp truncation functions in the datatype documentation