Numpy uint64 added to Python int yields float

[vlasenkov]

Python 3.5.2
Numpy 1.12.0

>>> np.uint64(13) + 4
17.0

Is it ok? Probably getting an int would be better.

[eric-wieser]

By design, unfortunately (for now) - see #5745, #8522, #7126