Issue #16741: Fix an error reporting in int().
5 files changed