ksmt-core/io.ksmt.utils/FpUtils/fpRoundToIntegral

fpRoundToIntegral

fun fpRoundToIntegral(rm: KFpRoundingMode, value: KFpValue<*>): KFpValue<*>