Evaluating exact values