By accident I did
gawk 'BEGIN { print 1.2.3+4; }'
and received
1.24.3
I expected a syntax error because of the two dots in the number.
What happened here ?
Is that a bug in GNU awk or is it a feature ?
Same result with these versions:GNU Awk 4.1.3, API: 1.1 (GNU MPFR 3.1.4, GNU MP 6.1.0) from Ubuntu 16.04 and
GNU Awk 4.1.0, API: 1.0 (GNU MPFR 3.1.2, GNU MP 4.3.2) from cygwin.