Updated timestamping code, trying it without rounding.

Also made executable.