Type Definition typenum::N137438953472

type N137438953472 = NInt<U137438953472>;