Schema - concetto "inesatto" nella torre numerica R5RS

Question

Mentre pensavo al modo per implementare lo schema R5RS, mi sono perplesso sul seguente estratto di R5R (pagine 22-23):

(resto -13 -4) ==> -1
(resto -13 -4.0) ==> -1.0; inesatto

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

(denominatore (/ 6 4)) ==> 2
(denominatore (esatto-> inesatto (/ 6 4)) ==> 2.0

Dovremmo capire che, anche se -4,0, 32,0 e (esatto> inesatto (/ 6 4)) sono inesatti, l'implementazione "ricorda" il loro esatto equivalente (-4, 32 e 3/2) per procedere Divisione intera, decomposizione dei fattori primi, ecc.?

Altrimenti, come potrebbe l'implementazione riuscire a dare le risposte di cui sopra?

Grazie in anticipo per qualsiasi luce che potresti mettere su questo argomento! :)

Nicolas