chickadee » srfi-143 » fx*/carry

fx*/carry i j kprocedure

Returns the two fixnum results of the following computation:

(let*-values (((s) (+ (* i j) k))
       ((q r) (balanced/ s (expt 2 fx-width))))
  (values r q))

The balanced/ procedure is available in SRFI 141, and also in the R6RS base library under the name of div0-and-mod0.