Type Definition typenum::consts::N577

type N577 = NInt<U577>;