Convert Frequency to a Rational type

Currently Frequency is implemented as a Double. While the end result is fine as a double, we have issues with comparing the frequencies (like when we are eliminating zeroes) or losing precision with operations. By using a Rational type we would keep accuracy until the very end, where we can then decide (or not) to convert it to a double.
