Karl Bartos's version of Numbers