I think the ideal behavior is that it should return floats no matter what (and I agree the documentation needs fixing). I think that's likely to be the preferable behavior, while getting ints out would be a corner case.