Fix read-float. Define CHAR-UPCASE and CHAR-DOWNCASE