(let ((a 1.2) (b 1.0) (c 0.2))
  (print (= (- a b) c))
  (print (= (- (* a 10) (* b 10)) (* c 10)))
)