Type Definition typenum::N555

type N555 = NInt<U555>;