On Wed, Dec 16, 2020 at 03:35:25PM -0800, Martin Davis wrote: > Whoa... how does it disambiguate? Seems like fertile ground for bugs. I guess it disambiguates based on datatype (integer vs. double). Yes, very fertile ground for misuse! --strk;