<mp-units/safe_int.h>
[[nodiscard]] constexpr auto operator-( U lhs, safe_int rhs) requires requires { lhs - static_cast<U>(rhs.value_); };