fix the new floating point intrinsics