f16
f128
FloatTy
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.