Type Definition typenum::P780

type P780 = PInt<U780>;