changed float shortcut from alt-f so readline forward/back works