All the other numerical modules have functions like "add", "mul", and etc so they can be used as
Big_int.add instead of Big_int.big_int_add, but Ratio doesn't yet. It's also not documented yet either.