Since the max_time is in seconds, you can use the __wt_seconds API that was added last week.