Simplification of basic_seconds_clock.