In addition to the change in the mean length of the calendar year from 365. What changed the length of the calendar year from 365.2425 days to 365.25 days