[docs] [issue10145] (4.2).is_integer() is undocumented.

[R. David Murray]

Changes by R. David Murray <rdmurray at bitdance.com>:


----------
assignee: docs at python -> 
nosy: +mark.dickinson

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