Remap NumberToggle() to <S-F2>.
Add gundo.