ちょうど別のアプローチ:
SELECT col1 * 1.0 / col2 FROM tbl1
1.0を掛けると、整数が floatに変わります。 numeric(13,1)なので、型キャストのように機能しますが、おそらくそれよりも低速です。
コメントでAleksandrFedorenkoによって提案されたわずかに短いバリエーション:
SELECT col1 * 1. / col2 FROM tbl1
効果は基本的に同じです。唯一の違いは、この場合の乗算結果はnumeric(12,0)になることです。
主な利点:他のアプローチよりも言葉遣いが少ない。