(defparameter n (read))
(format t "decimal~%")
(format t "~f~%" (float (+ n 0.0001)))