Exact answers to check a floating-point computation against