times are now floats; formatting tweaks