I see, we were passing negative `den` into the `mpq_class`, which I guess didn't get simplified by `mpq_class`, so we need to handle the minus ourselves.