[bug-gawk] GAWK 4.1 arbitrary precision integers and E notation

[Hermann Peifer]

As Arnold requested, I am forwarding the below snippet from a c.l.a. 
posting to the bug-gawk mailing list.

Hermann

-------- Original Message --------
Subject: Re: GAWK 4.1 Integer Division
Date: Mon, 5 Aug 2013 19:26:36 +0000 (UTC)
From: address@hidden (Aharon Robbins)
Organization: A noiseless patient Spider
Newsgroups: comp.lang.awk
References: <address@hidden> 
<address@hidden> 
<address@hidden> 
<address@hidden>

Hermann Peifer  <address@hidden> wrote:
> # 10^30 obviously "looks like an integer" and is handled accordingly
> $ gawk -M 'BEGIN{print 10^30}'
> 1000000000000000000000000000000

The MPFR code deals with this and figures it out.

> # But 1e+30 doesn't seem to look like an integer..
> $ gawk -M 'BEGIN{print 1e+30}'
> 1000000000000000019884624838656

The exponential form is by definition floating point.  This conversion
might be a bug. Can you file a bug report so that I'll look into it?