Replace `string-to-int' by `string-to-number'.