double-check results using emacs calc