The support files aip-time_types.ads mention an unspecified epoch. This will likely be Jan 1st 1970, however that is susceptible to overflow in 2038. A user could use a more recent epoch to buy e.g. 50 years. The best way to fix it would be for the type Time to be mod 2 ** 64. Would a PR be welcome? It would likely require users to update their support files.