a bunch of boring utility functions for formatting time and numbers, mostly.