v. f_0.1.4
Bugfix: Correctly retrieve the device number for numbers that end with a 0, like '10'.