Jandom: JVM based Analyzer for Numerical DOMains