A reverse-polish-notation calculator