strongly-typed physical quantities ftw