# Pastebin F6D1F2OS
(defun mt (a b)
  (* a b))

(let ((z 1.5)
      (y 2))
  (declare (ftype (function (integer integer) integer) mt))
  (mt z y))