Type Definition typenum::P380

type P380 = PInt<U380>;