FIXED: PL_record_external(): deal with MPZ integers.  Abramo Bagnara.
FIXED: PL_record_external(): deal with MPZ integers.  Abramo Bagnara.

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel