Type Definition typenum::consts::P437

type P437 = PInt<U437>;