Converting numpy types to z3 types with RealVal and IntVal

[wijnanduu]

It is possible to convert a numpy.float64 instances to a RatNumRef with the RealVal function, but not a numpy.int64 instance to a IntNumRef with IntVal, is this intentional?

More specifically, the following works and produces 6/5:

from z3 import *
import numpy
RealVal(numpy.float64(1.2))

but the following raises a Python value cannot be used as a Z3 integer exception:

from z3 import *
import numpy
IntVal(numpy.int64(1))

Converting a numpy.int64 to a RatNumRef with RealVal does seem to work.