High school teachers' choices concerning the teaching of real numbers: A case study