Use doubles for time, float otherwise.

Fixes #121.