Sends large values to Yices via string instead of int.
Sends large values to Yices via string instead of int.

Fixes https://github.com/jburnim/crest/issues/6 .

Based on the fix from Timotej Kapus --
https://github.com/jburnim/crest/pull/10/commits .

jburnim/crest,jburnim/crest,jburnim/crest,jburnim/crest