For historical reasons IEEE f128 ops use `kf` instead of `tf` in their names, there's no functional change.