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