Position.UnitIn order to avoid mixing up different unit, we introduce this module type. In practice, only floats are used internally, but the user can hide this fact to get stronger guarantees in their code, at the price of having to explicitly call the conversion functions.