Seconds are smaller than hours — in total, 1235 seconds are equal to ²⁴⁷⁄₇₂₀ of a hour