New minutia: Fast counting of rows on InnoDB