Proposal for new simplication flag



On 1/30/07, Michel Van den Bergh <michel.vandenbergh at uhasselt.be> wrote:
> Stavros Macrakis wrote:
> > Perhaps a cleaner way to control this feature would be numer: bfloat
> > vs. numer:true == numer:float.
> Fine by me. I guess numer:float is not currently recognized? Would you
> want to introduce that as well (as a synonym for numer:true)?

Yes, for symmetry.