Pgsql Divide Two Integers Without Using Multiplication