Make size() summarisable.