ksmt-core/io.ksmt.utils/getHalfPrecisionExponent

getHalfPrecisionExponent

fun Float.getHalfPrecisionExponent(isBiased: Boolean): Int

Take an exponent from the float value. Depending on the isBiased is can be either shifted by KFp16Sort.exponentShiftSize or not.