Fixes to precise_time_ns

Closes #2675.