Ah, SRFI-1 stuff. Yeah we don't ship any SRFIs currently. Could borrow it from Guile or any portable implementation, though. We'll be filling in more of this as we go on now that we more-or-less have R7RS-small covered.
Regarding inexact->exact, the equivalent R7RS-small procedure is simply 'exact', available in (scheme base). Likewise, 'inexact' is also available from that module. Hoot 0.5.0 will have inexact->exact, though, as part of the (guile) module. Either way, there's no need to use the FFI for this as R7RS-small has you covered.
For float/integer division, do you happen to have an example of two numbers that produce positive infinity? I can't reproduce on my end with the numbers I've tried.
The define-record-type syntax includes definition of a predicate. For example: (define-record-type <foo> (make-foo bar) foo? (bar foo-bar)) ...or did I misunderstand?
Thanks for the feedback!