[math-fun] how many records?