Numbers such as 3 and 16 are taken to be predicates over individuals which count the number of the singular objects.
i assume that the domain of individuals is organized into a join semilattice like the ones developed by (Ojeda, 1993), (Moltmann, 1997), and (Link, 1998).