A tiny RPN desk calculator for your computer