Small tweak for bug #7396.  I added parseInt() to the comparator on devices.