Rational instead of float weights

[davidweichiang]

This would involve changing the syntax of weights to integers (1) or rationals (1/2), but when printing out JSON, the weights would be converted to floats.