(= 4 4.0)

[Aubrey Jaffer <jaffer@martigny.ai.mit.edu>]

Can a conforming R4RS implementation have exact integers and inexact
numbers, but no inexact integers?  Stated another way, can a
conforming R4RS implementation return #f from (= 4 4.0) ?

Some other implications are:
 INTEGER? would return #f for all inexacts.
 QUOTIENT, REMAINDER, MODULO, GCD, LCM, ODD?, and EVEN? would take
only exact arguments.
 ZERO? would return #t only for exact 0 argument.

The only fly I have found in the ointment is in the description of
FLOOR, CEILING, TRUNCATE, and ROUND where it says that what is
returned is an integer and must have the same exactness as the
argument.