Type Definition typenum::N537

type N537 = NInt<U537>;