Returns reader's post-filter row count in nrows, dispatched by
its integer(int32)/integer(int64) kind (the int32 specific also error
stops if the actual row count overflows int32). check_positive
(optional, default .false.): if .true., error stops instead of
returning 0 rows.