ksmt-core/io.ksmt.utils/halfPrecisionSignificand

halfPrecisionSignificand

val Float.halfPrecisionSignificand: Int

Significand for Fp16 takes 10 bits from the float value: from 14 to 23 bits