parameterize number type in TallyDistribution; etc