It would be nice, but RealAudio requires paying a license to the Real people in order to use it. And since it's not a file format usually associated with high-quality music playback, there is not much demand to put it on our high-quality music player.

You can use a product like TotalRecorder to change RealAudio into some other file format.