Type Definition typenum::N438

type N438 = NInt<U438>;