Exact real arithmetic formulating real numbers as functions