[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How are numbers printed in gawk?
|
From: |
Antonio Giovanni Colombo |
|
Subject: |
Re: How are numbers printed in gawk? |
|
Date: |
Wed, 18 Mar 2020 16:43:55 +0100 |
Hi everybody,
What about:
16.5 Arbitrary-Precision Integer Arithmetic with gawk
When given the -M option, gawk performs all integer arithmetic using GMP
arbitrary precision
integers. Any number that looks like an integer in a source or data file is
stored
as an arbitrary-precision integer.
?
Antonio
On Wed, Mar 18, 2020 at 3:24 PM <address@hidden> wrote:
> Peng Yu <address@hidden> wrote:
>
> > Internal to awk, all numbers are considered as double? No numbers are
> integers?
>
> This is clearly documented.
>
>
--
/||\ | Antonio Colombo
/ || \ | address@hidden
/ () \ | address@hidden
(___||___) | address@hidden