Analysis in the Computable Number Field.