Numbers, time and randomness

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