Numbers, time and randomnessΒΆ

Arithmetic that has to be checked, quantities that carry units, clocks and the random sources tests draw from.