The accuracy of the time used in dump_time.txt (the dump time)
just before writing dump fields was increased from 12 significant
figures to 16. 12 was probably fine, but since a double is used
we might as well save all digits of accuracy.