17 package com.microsoft.z3;
32 throw new Z3Exception(
"Sign is not a Boolean value");
33 return res.value != 0;
66 throw new Z3Exception(
"Significand is not a 64 bit unsigned integer");
96 throw new Z3Exception(
"Exponent is not a 64 bit integer");