[docs] [issue10145] float.is_integer is undocumented

[R. David Murray]

R. David Murray <rdmurray at bitdance.com> added the comment:

Woops, I didn't meant to unassign docs.

----------
assignee:  -> docs at python
nosy: +r.david.murray

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue10145>
_______________________________________