SICP по-русски

Во-первых, хочу предупредить, что в русском издании (по крайней мере, в моей версии) есть опечатка в условии этого упражнения. На самом деле требуется определить улучшенную версию процедуры make-rat, а не mul-rat. Для этого нам всего лишь необходимо дополнительно разделить числитель и знаменатель на знак знаменателя. На всякий случай, есть смысл при вычислении наибольшего общего делителя вычислять его для модулей числителя и знаменателя, так как НОД определен для неотрицательных чисел.

(define (sign x)
  (cond ((> x 0) 1)
        ((< x 0) -1)
        (else 0)))

(define (make-rat n d)
  (let ((g (* (gcd (abs n) (abs d)) (sign d))))
    (cons (/ n g) (/ d g))))