dimensional-1.6.1: Statically checked physical dimensions