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