(setf *read-default-float-format* 'double-float)
(let ((a (read))
      (b (read))
      (c (read)))
    (format t "~A~%" (coerce (* c (/ a b)) 'double-float)))