Use proper times in string-int multiplication