The draft says

   Function: limit proc z1 z2
   Function: limit proc -1/0
   Function: limit proc 1/0

     Proc must be a procedure taking a single inexact argument.

     Limit computes the mathematical limit of proc as its argument
     approaches z1 from z1 + z2. Limit returns a complex number or
     real infinity if the limit exists; and `#f' otherwise.

Is this well defined?

--
Jens Axel Søgaard