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