ksmt-core/io.ksmt.utils/getExponent

getExponent

fun Float.getExponent(isBiased: Boolean): Int
fun Double.getExponent(isBiased: Boolean): Long

Extracts an exponent from the float value. Depending on the isBiased it can be either biased or not.

See also