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