6.12 RM 9.6(30-31): Duration’Small

"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 for Calendar.Clock."

Followed.