Arithmetic evaluation with Cohttp