string-to-int is deprecated; use string-to-number.