Type Definition typenum::N852

type N852 = NInt<U852>;