dimensional-0.10.1: Statically checked physical dimensions.