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