Fix read_number and introduce read_string