Type Definition typenum::consts::N789

type N789 = NInt<U789>;