dimensional-0.12.1: Statically checked physical dimensions.