Pycarl convert

Number conversion

pycarl.convert.convert_to_gmp(data)

Convert data type to gmp. :param data: data structure. :return: gmp data structure.