[bug-gawk] gawk（v4.1.4） bug when printing inter 14367579420085991

[欧璐纯]

Hi, gawk is a powerful tool and it helps me a lot. Recently I found a problem.

When I use command (echo 14367579420085991 | gawk '{printf("%d\n", $1)}' ) or (echo 14367579420085993 | gawk '{printf("%d\n", $1)}' ), I get 14367579420085992 rather than 14367579420085991.

I think it is a bug. The version information is 'GNU Awk 4.1.4, API: 1.1 (GNU MPFR 4.0.1, GNU MP 6.1.2)'.

Thanks for developing gawk.

Luchun ou