Type-checked SI units and quantities.