Method mkFPNumeral

src/api/java/Context.java:3850–3853

Create a numeral of FloatingPoint sort from a float. @param v numeral value. @param s FloatingPoint sort. @throws Z3Exception

(float v, FPSort s)

     * @throws Z3Exception
     **/
    public FPNum mkFPNumeral(float v, FPSort s)
    {
        return new FPNum(this, Native.mkFpaNumeralFloat(nCtx(), v, s.getNativeObject()));
    }

    /**
     * Create a numeral of FloatingPoint sort from a double.