@dpk Is there a name for defining years to be exactly pi times ten to the seven seconds consequences be damned?
Gregory's Server