(format #t "~f~%" (* 1.2 25.0 4.0))