Getting real-valued models from Z3

I'm not sure about the deprecated var Z3NumeralAST = Z3NumeralIntAST
in package.scala.
It seems to work fine in leon, i.e. it doesn't break it, but I don't get the deprecated warning.