Hi All,
I am glad to report that Pierre Houbert has added to his TI-58C emulator the ability to operate it in RPN. You will need to download at least one of three RPN skins to see the RPN-supporting keyboard. I have tried some basic operations and programming on the RPN mode (which you can switch from AOS). The emulators works fine. More advanced applications might reveal bugs.
Namir