title: Multiple return values of floor in dotimes
body: <p>The <a href="http://www.lispworks.com/documentation/HyperSpec/Body/m_dotime.htm" rel="nofollow noreferrer"><code>floor</code> Hyperspec</a> article on <code>dotimes</code> has this example:</p>
  
  <pre><code>(defun palindromep (string &amp;optional
                             (start 0)
                             (end (length string)))
     (dotimes (k (floor (- end start) 2) t)
      (unless (char-equal (char string (+ start k))
                          (char string (- end k 1)))
        (return nil))))
  </code></pre>
  
  <p>If <code>floor</code> returns two values, e.g. <code>(floor 5 2)</code> -> <code>2</code> and <code>1</code>, how does <code>dotimes</code> know to just use the first value and disregard the second for its count-form?</p>