Type Definition typenum::N562949953421312

type N562949953421312 = NInt<U562949953421312>;