Type Definition typenum::consts::P780

type P780 = PInt<U780>;