Comment by rtlfe

Using types that encode the units, as suggested in OP, is strictly better.