class TIME_UTILITY General cluster: time description: "Functions useful in time calculations" Ancestors ANY Queries Date_time_tools: DATE_TIME_TOOLS default_format_string: STRING div (i, j: INTEGER): INTEGER mod (i, j: INTEGER): INTEGER