Recursive Real Arithmetic