numeric strings in js is not always casted to integers... fix for issue #32