[][src]Type Definition typenum::N840

type N840 = NInt<U840>;