Maybe we should use a different prefix, now that there are a lot more number related keybindings.