On Thu, Jul 16, 2009 at 7:23 AM, John Peacock<john.peac...@havurah-software.org> wrote: > Applied to the repo with minor tweakage and wiki page updated as well. I > agree > with Gisle that it would be good to define the terms "decimal" and > "dotted-decimal" before using them, so I moved that section up. I'm still > undecided on "dotted-decimal" versus "dotted-integer" however...
Use both, or rather, use what you have and say "(also referred to as dotted-integer)". -- David