IIRC, there's several numeric types that conform to the larger `Numeric` type family: `Rat`, `Int`, and `Num` (which is basically a float). `Rat` is what falls

IIRC, there's several numeric types that conform to the larger `Numeric` type family: `Rat`, `Int`, and `Num` (which is basically a float). `Rat` is what falls out of the expressions the OP was working with, specifying you want `Num` is possible.