Type Definition typenum::P562949953421312

type P562949953421312 = PInt<U562949953421312>;