mk
open fun <T : KFpSort> mkRealToFpExprNoSimplify(sort: T, roundingMode: KExpr<KFpRoundingModeSort>, value: KExpr<KRealSort>): KRealToFpExpr<T>
Create Fp from Real expression. Rounding is performed according to the roundingMode.