mk
open fun <T : KFpSort> mkFpRoundToIntegralExprNoSimplify(roundingMode: KExpr<KFpRoundingModeSort>, value: KExpr<T>): KFpRoundToIntegralExpr<T>
Create Fp round to integral (fp.roundToIntegral) expression. The rounding is performed according to the provided roundingMode.