Schéma - concept «inexact» dans la tour numérique R5RS

Question

Tout en réfléchissant à la façon de mettre en œuvre le schéma R5RS, je suis devenu perplexe sur l'extrait suivant de R5R (pages 22-23):

(reste -13 -4) ==> -1
(reste -13 -4.0) ==> -1,0; inexact

(LCM 32 -36) ==> 288
(LCM 32.0 -36) ==> 288.0; inexact

(dénominateur (/ 6 4)) ==> 2
(dénominateur (exact-> inexact (/ 6 4))) ==> 2.0

Si nous comprenons que, même si -4.0, 32.0 et (exact-> inexact (/ 6 4)) sont inexacts, la mise en œuvre "se souviendra" de leur équivalent exact (-4, 32 et 3/2) afin de procéder à Division entière, décomposition des facteurs premiers, etc.?

Sinon, comment la mise en œuvre pourrait-elle réussir à donner les réponses ci-dessus?

Merci d'avance pour toute lumière que vous pourriez jeter sur ce sujet! :)

Nicolas