Spec for maps with numbers as keys