more efficient DataFrame::nrows, i.e. one that does not have to pay the price for R special case handling of R_RowNamesSymbol