Type Definition typenum::consts::N753

type N753 = NInt<U753>;