[][src]Type Definition typenum::consts::N443

type N443 = NInt<U443>;