Make times in nanosecs also be formatted

Times in nanosecs were previously not converted to double, so they were printed as a fraction, like 32475509/125000, which is not very convenient to read and compare to other values.
I tested this with the high-n example in profiling.clj.