Type Definition typenum::N515

type N515 = NInt<U515>;