Juste une autre approche :
SELECT col1 * 1.0 / col2 FROM tbl1
Multiplier par 1,0 transforme un entier en un flottant numeric(13,1) et fonctionne donc comme un transtypage, mais il est très probablement plus lent que cela.
Une variante un peu plus courte suggérée par Aleksandr Fedorenko dans un commentaire :
SELECT col1 * 1. / col2 FROM tbl1
L'effet serait fondamentalement le même. La seule différence est que le résultat de la multiplication dans ce cas serait numeric(12,0).
Avantage principal :moins verbeux que les autres approches.
