[math-fun] The length of the day ...