New option (in the init()) to produce weighted counters, which support also float...