Rivet  3.1.5
Maths utilities