khfloat64_t