Hot: counting-numbers