ksmt-core/io.ksmt.utils/significand

significand

val Float.significand: Int
val Double.significand: Long

Extracts a significand from the float value.

See also