Просто друг подход:
SELECT col1 * 1.0 / col2 FROM tbl1
Умножаването по 1.0 превръща цяло число в float numeric(13,1) и така работи като typecast, но най-вероятно е по-бавно от това.
Малко по-кратък вариант, предложен от Александър Федоренко в коментар:
SELECT col1 * 1. / col2 FROM tbl1
Ефектът би бил по същество същият. Единствената разлика е, че резултатът от умножението в този случай ще бъде числов (12,0).
Основно предимство:по-малко многословен от другите подходи.