Editing: intdiv0.awk