mk
open fun <T : KFpSort> mkFpToFpExprNoSimplify(sort: T, roundingMode: KExpr<KFpRoundingModeSort>, value: KExpr<out KFpSort>): KFpToFpExpr<T>
Create Fp to another Fp. Rounding is performed according to the roundingMode.