[gambit-list] Re: Some tweaks to _num.scm