mp_units::operator‐

[[nodiscard]]
constexpr
auto
operator‐(
    safe_int lhs,
    U rhs)
requires requires { static_cast<U>(lhs.value_) ‐ rhs; };