My executable awk script requires the option "--non-decimal-data", but the linux "#!" mechanism only allows one option on the "#!" line. For this reason, awk is obliged to provide a command that can enable the "--non-decimal-data" option from inside the script. But there is no such command. The obligation is not met, and therefore my correct awk script cannot be run as an executable.
All options must have a corresponding command that can be run from inside the awk script. This is mandatory because of the linux "#!" limitation on arguments.