`numkeys * 3 / 2` might be saner... I'm not sure I like going through a float :/