将 Double cast 重命名为 Float_

#1104 更新问题,针对 6 版本: > 由于 PHP 的 `(double)` 转换已被淘汰,并且已经仅作为 (float) 转换的别名,因此引入 `Float_` 作为 `Double` 转换的替代。