New transfer tool for Linux: HPex

[Thomas Klemm]

This works for both cases:

Code:

>>> int(float('13036'))
13036

>>> int(float('13036.'))
13036

But not for this:

Code:

>>> int(float('13036,'))
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ValueError: could not convert string to float: '13036,'