Type Definition typenum::consts::N538

type N538 = NInt<U538>;