AppleScript: convert string to integer