ksmt-core/io.ksmt.sort/KFp64Sort/exponentShiftSize

exponentShiftSize

open override fun exponentShiftSize(): Int