Pgsql Divide Two Integers