Consider using just float64 for the frequencies

[janpipek]

With a hypothesis strategy for int contents, the total sometimes overflows to negative values with int64.