time_keys-tests: add a test showing a subsecond rounding bug