[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.