Type Definition typenum::consts::P537

type P537 = PInt<U537>;