typo khfloat64_t