Comment 5 for bug 1337069

c688e5e163f864590ea9f309ab940b881382ad77 makes this happen. Although there are still cases, like

(defun foo (z)
  (let ((x 2.1)
        (y 3.1))
    (* z x y)))
where constant propagation happens at a later stage.