Teaching real numbers and continuum in secondary school: an ontosemiotic approach to the investigation of teachers' choices =