pub fn float_ty(fty: FloatTy) -> FloatTy