[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] inside awk script check that -M/--bignum given on command
From: |
Jannick |
Subject: |
Re: [bug-gawk] inside awk script check that -M/--bignum given on command line? |
Date: |
Fri, 5 Jan 2018 17:37:37 +0100 |
On Fri, 05 Jan 2018 03:39:05 -0700, address@hidden wrote:
> If all you need is 30 bits, why not use hardware floating point, which is
much
> faster?
Yes, fully agree.
Thanks,
J.
- [bug-gawk] inside awk script check that -M/--bignum given on command line?, Jannick, 2018/01/04
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/04
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Jannick, 2018/01/04
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/05
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Jannick, 2018/01/05
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/05
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, arnold, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, arnold, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, arnold, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Andrew J. Schorr, 2018/01/08
- Re: [bug-gawk] inside awk script check that -M/--bignum given on command line?, Neil R. Ormos, 2018/01/08