[Python-Dev] Unicode minus sign in numeric conversions