add Frequency::size()