* https://www.wellbeingintlstudiesrepository.org/cgi/viewconte...
or bees (OK, only to 5, but still):
* https://www.sciencedirect.com/science/article/pii/S258900421...
In these cases I would say -- even if they don't have the ability to tell us that they can reason with exact numbers -- we can observe experimentally that they do. And I don't see any reason to assume that the abstraction that is represented in the animal mind is fundamentally different from our notion of it.
EDIT: That could also be an indication for mathematical Platonism, when I think about it. But alas, as long as we don't observe a species that develops mathematics from the basic forms of countability that would be a stretch too far... Or to put it differently -- if there is a species that could reasons about numbers beyond the basics of counting, given enough time they would also be able to axiomatize mathematics under an equivalent of ZFC Set theory.