Campos calculados desde PostGreSQL (I)

Vale... He aquí la necesidad: Necesito una consulta que entre sus resultados, hay una columna que es calculada de la forma:

r = ((a / b) * 1000)

donde b debe ser mayor que cero, obviamente

En SQL (para postgresql) va algo así:

SELECT
CASE WHEN SUM(b) > 0 THEN
round(((SUM(a) / SUM(b)) * 1000),2)
ELSE 0
END
AS rendimiento
FROM miTabla