(define 'a 1) (+ a 1) (+ a 0.1)