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