Exact computation