Type Definition typenum::consts::N523[][src]

type N523 = NInt<U523>;