Towards an API for the Real Numbers Hans