Improved precision of timer. Accuracy not needed, but fast calculations gave time 0.0 sometimes, due to roundoff errors.