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