(echo_keystrokes): Remove declaration. (Vecho_keystrokes) New variable. (read_char, record_menu_key, read_key_sequence): Use it to allow use of float value. (syms_of_keyboard): Change Vecho_keystrokes declaration.