fix floating point intrinsics