Add specific number section to iset.mm
Add specific number section to iset.mm

This is the section "Some properties of specific numbers", copied
without changes from set.mm. Some follow ups (mostly having to
do with not equal versus apart, from the looks of it) will be
needed.

metamath/set.mm,metamath/set.mm,metamath/set.mm