(g)awk의 int()함수에 대해 궁금한 것이 있습니다.

awk문제가 아닌 것 같네요. C로 해봐도 같은 결과입니다.
double 로 계산한 결과를 보면 아시겠지만 작은 오차가
생깁니다. int연산이므로 잘라내는 연산을 하기 때문에
결과가 125가 나오네요.

#include <stdio.h>

int main()
{
    double a = 180.*0.7;
    printf("%d\n", (int)(180.*0.7));
    printf("%e\n", a - 126.);
    return 0;
}

cygwin환경에서 실행 결과입니다.

$ ./int.exe
125
-1.421085e-14