libImageFilter.SequenceCounterTreeNode can now divide counter values by a given float.