ignore errors from a __int__() method. Patch based on the patch for issue #15516.
Attach a file by drag & drop or click to upload
