[][src]Type Definition typenum::N511

type N511 = NInt<U511>;