Issue 2801:  fix bug in float.is_integer where ValueError was incorrectly
raised.
2 files changed