Gewoon een andere benadering:
SELECT col1 * 1.0 / col2 FROM tbl1
Vermenigvuldigen met 1,0 verandert een geheel getal in een float numeric(13,1) en werkt dus als een typecast, maar hoogstwaarschijnlijk is het langzamer dan dat.
Een iets kortere variant voorgesteld door Aleksandr Fedorenko in een opmerking:
SELECT col1 * 1. / col2 FROM tbl1
Het effect zou in principe hetzelfde zijn. Het enige verschil is dat het resultaat van de vermenigvuldiging in dit geval numeriek (12,0) zou zijn.
Belangrijkste voordeel:minder omslachtig dan andere benaderingen.