Use double for softcounting as float is too small