Type Definition typenum::consts::N80

type N80 = NInt<U80>;