`FloatTy` in rustc has `f16` and `f128` now. It would probably be pretty easy to update RA's `FloatTy` to match and propagate that out.