Re: [gawk-devel] MPFR thoughts

[Eric Pruitt]

On Sat, May 07, 2022 at 01:14:09PM -0600, arnold@skeeve.com wrote:
> You are the only one (that I remember) that has found MPFR support in
> gawk to be of practical use. There may be others, and if the deprecation
> causes a flood of complaints from legitimate users, I will reconsider.

How often do people post messages on the list praising a particular
feature? I find MPFR support useful, and I similarly find the "match"
function useful, but it never occurred to me that use of either feature
warranted proactive communication.

Eric