awk 中的 int() 函数会更改参数，即使这已经是整数

Question

我不明白awk

中的以下两个结果

$ awk 'BEGIN {
  print    (log(.01)/log(10))
  print int(log(.01)/log(10))
}'
-2
-1

版本：

$ awk --version 
GNU Awk 5.0.1, API: 2.0 (GNU MPFR 4.0.2, GNU MP 6.1.2)

Answer 1

不止于此：

$ awk 'BEGIN {
  printf "%.16f\n", log(.01)/log(10)
}'
-1.9999999999999996

int() function in awk changes the argument even if this is integer already