Guy,
If people want to stay with the EQ preserving version of DEFCONSTANT,
and not go to the macro-like definition, then maybe it would be good to
note this business about numbers not staying EQ in a note attached to
the DEFCONSTANT description. THat is one of the major places where this
will come up.
-- Scott