* I18n of decimal point used in time formatting. * Don't hardcode an assumption of 100 clock ticks per second. * Various minor cleanups.