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