integer to int in docstring