Solo otro enfoque:
SELECT col1 * 1.0 / col2 FROM tbl1
Multiplicar por 1,0 convierte un número entero en un flotante numeric(13,1), por lo que funciona como un encasillado, pero lo más probable es que sea más lento que eso.
Una variación un poco más corta sugerida por Aleksandr Fedorenko en un comentario:
SELECT col1 * 1. / col2 FROM tbl1
El efecto sería básicamente el mismo. La única diferencia es que el resultado de la multiplicación en este caso sería numérico (12,0).
Ventaja principal:menos prolijo que otros enfoques.
