Type Definition typenum::consts::P443

type P443 = PInt<U443>;