Add decimal numbers to iset.mm
Add decimal numbers to iset.mm

This is the section "Decimal representation of numbers", copied
without change from set.mm. It will require a few follow up changes,
although they will be few.

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