"Whenever possible in an implementation, the value of
Duration'Small
should be no greater than 100 microseconds."
Followed. (Duration'Small
= 10**(-9)).
"The time base for
delay_relative_statements
should be monotonic; it need not be the same time base as used forCalendar.Clock
."
Followed.