AppleScript: convert integer to string