Type Definition typenum::N743

type N743 = NInt<U743>;