Added tinyrpn (with not-quite-as-tiny-but-still-really-small original).