Exact computation with constructible real numbers