Re: [gawk-devel] MPFR thoughts

[Eric Pruitt]

On Sat, May 07, 2022 at 01:45:53PM -0700, Eric Pruitt wrote:
> 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.

I forgot to add that when I saw this MPFR thread, I submitted a request
to join the gawk-devel list shortly thereafter because I wanted to look
into the MPFR removal. The archives don't seem to be open to the public,
and it seems unfair to judge interest in preserving the feature based on
the response to a closed discussion.

Eric