[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GAWK adding big numbers wrong

From: Eli Zaretskii
Subject: Re: GAWK adding big numbers wrong
Date: Mon, 13 May 2002 13:08:50 +0300 (IDT)

On Mon, 13 May 2002, Aharon Robbins wrote:

> If these issues can be solved, when the MP work is ready, I'll integrate
> it.  If not, it may just be distributed as an officially blessed set of
> patches that are kept in sync with the main gawk release.

Or maybe make two different binaries when building: one with, the other 
without arbitrary precision support.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]