Split out code into new files logging.sage and real_number_field.sage