Pascal系の失敗したら人が死ぬ分野向けの言語であるAdaの標準ライブラリは、ちゃんと型を定義してて

ada.calendar
https://www2.seas.gwu.edu/~adagroup/adalib_html/ada-html/a-calend.html

subtype Year_Number is Integer range 1901 .. 2099;
subtype Month_Number is Integer range 1 .. 12;
subtype Day_Number is Integer range 1 .. 31;
subtype Day_Duration is Duration range 0.0 .. 86_400.0;

らしい＞＜