Redirecting to macro.bounded_integer_into_repr_impl.html...