Spread @IntDef across all int-accepting methods.

``@IntDef`` was added to all int-accepting methods. Please check if I did not miss anything.
Fixes #113.
Needs `flag = true`