Я запускаю код AWK и получаю
The factorial of 200 is inf
Это говорит о том, что AWK не использует тот же стандартный модуль IEEE, что и Python.
Похоже, что предел AWK составляет 170!
Как вы можете заставить AWK понимать такие большие целые числа как Python?