How convert string '1e7' to an integer?

[Peng Yu]

It seems that int() does not convert '1e7'. I'm wondering what
function to use to convert '1e7' to an integer?

>>> int('1e7')
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ValueError: invalid literal for int() with base 10: '1e7'
-- 
http://mail.python.org/mailman/listinfo/python-list