(defun ip (n m)
  (if (= n m)
      n
      (let* ((k (floor (+ n m) 2))
             (a (lp:future (ip n k)))
             (b (lp:future (ip (1+ k) m))))
        (* (lp:force a) (lp:force b)))))