title: Bad thing to be a type specifier: number
body: <p><code>number</code> is a type specifier: <a href="https://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node45.html#SECTION00810000000000000000" rel="nofollow noreferrer">CLtl2 4.1 Type Specifier Symbols</a> </p>
  
  <p>However, I can't use it with <code>declaim</code>:</p>
  
  <pre><code>(defparameter *foo* 0)
  (declaim (type (number) *FOO*))
  </code></pre>
  
  <p>=></p>
  
  <pre><code>bad thing to be a type specifier: (NUMBER)
     [Condition of type SIMPLE-ERROR]
  </code></pre>
  
  <p><code>(typep *FOO* 'number)</code> is T.</p>
  
  <p>So I must use <code>(or integer float)</code> ?</p>
  
  <p>What am I missing?</p>
  
  <p>thanks</p>
  
  <p>SBCL1.4.5</p>