Unless someone disagrees, I would just make it `int`. The truncating behaviour could be mentioned, but it is a universal problem for all discrete distributions (also randint, etc.) and they don't mention it either. I wouldn't mind deprecating floats entirely for these, but that would be much bigger.