[PPL-devel] Communicating multiple-precision integers to foreign code and back