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