Allow `Rational` literals of any size

[peblair]

Currently (#1167), we cannot parse rational literals with operands which do not fit into 32-bit integers. We should add the necessary support to allow operands of any size. This will require extending Mini_bigint with mul and div operators, along with a gcd implementation.