Это действительно зависит от того, откуда вы получили свой номер.
Если число, которое вы пытаетесь преобразовать, получено из пользовательского ввода, используйте locale.atoi()
. Таким образом, число будет проанализировано таким образом, чтобы это соответствовало настройкам пользователя и, следовательно, ожиданиям.
Если, с другой стороны, вы читаете его, скажем, из файла, который всегда использует один и тот же формат, используйте int("1,234".replace(",", ""))
или int("1.234".replace(".", ""))
в зависимости от вашей ситуации. Это не только проще для чтения и отладки, но и не зависит от настроек локали пользователя, поэтому ваш парсер будет работать в любой системе.