Type Definition typenum::N8796093022208

type N8796093022208 = NInt<U8796093022208>;