Decrement operator
<mp-units/constrained.h>
constexpr constrained& operator--() requires requires(T& v) { { --v } -> std::same_as<T&>; };