Fix timestamp floating point conversion into integer. Fixes #116