Tools for formatting date and time.