Use integer-casted argument in Cursor::batchSize()