ksmt-core/io.ksmt/KContext/mkFp64

mkFp64

fun mkFp64(value: Double): KFp64Value

Create FP64 from the value.