Use `uint64` instead of plain `int` for the timestep in the `Clock` object