Many quantities can’t be negative. No amount of mass, duration, or volume is below zero, and ISO 80000-3 defines *speed* as the magnitude of *velocity*. [[P3045R10]](https://wg21.link/p3045r10) has no way to express this. This is why every function that relies on it repeats a precondition, and every reviewer has to guess which parameters carry the guarantee.