Start Developer API Documentation stormpy.numbers.developer.convert convert_to_gmp convert_to_gmp¶ Warning The stormpy developer API is internal and can be subject to change. convert_to_gmp(data)¶ Convert data type to gmp. :param data: data structure. :return: gmp data structure.