> Although these two procedures will not return exact integers when k
is not an exact positive integer, it is still best to explicitly point
this out.

I'm a little confused by this. The procedures are "exact-integer-", so
they are only defined to return exact integers. When the arguments
aren't exact (or when they are negative), it is an error.

-- Peter McGoron