Type Definition typenum::N72057594037927936

type N72057594037927936 = NInt<U72057594037927936>;