Minidc is a reverse‐polish desk calculator