The ideal method would have been reading the record count information from the system tables, similar to other databases like MySQL, PostgreSQL.
I checked the _File and some other "hidden" tables in Progress, but it seems there is no such information, although I am convinced there should be...