@NikolajBjorner
NikolajBjorner fix #1800 by converting large integers to strings 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Latest commit 94ffa39 Aug 24, 2018