[bug 868403] Fix OverflowError in smart_int