docs: use Integer instead of Int in type constraints

Backport of #8052 to 0.3-release