The value (1.3608512e17) is not of type REAL

[Paul F. Dietz]

(lambda (a f)
  (case
      (round 0
             (min -30
                  (setf a
                        (min 136085119088598577
                             (max -21562825538937720
                                  (funcall f))))))
    ((466) (case a ((44 8 11 62) 0) (t a)))
    (t 0)))

==>

The value
  (1.3608512e17)
is not of type
  REAL
   [Condition of type TYPE-ERROR]

Restarts:
 0: [RETRY] Retry SLIME REPL evaluation request.
 1: [*ABORT] Return to SLIME's top level.
 2: [ABORT] abort thread (#<THREAD tid=20167 "repl-thread" RUNNING {1000B48003}>)

Backtrace:
  0: (SB-KERNEL:TWO-ARG-< (1.3608512e17) 64)
  1: (SB-VM::GENERIC-<)
  2: (SB-C::SINGLE-OR-CHAIN ((44 #1=#<SB-C::COMBINATION :FUN # :ARGS # {1009237203}> #<SB-C::CIF :TEST #1# :CONSEQUENT #2=#<SB-C::CBLOCK 4 :START c1 {10091CF333}> :ALTERNATIVE #<SB-C::CBLOCK 8 :START c2 {1..
  3: (SB-C::OR-EQ-TRANSFORM EQ #<SB-C::LVAR 6 {10092373D3}> #<unused argument> #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME EQ :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE..
  4: (SB-C::IR1-OPTIMIZE-COMBINATION #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME EQ :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLOBAL-F..
  5: (SB-C::IR1-OPTIMIZE #<SB-C:COMPONENT :NAME "<unknown>" {1009233D63}> NIL)
  6: (SB-C::IR1-OPTIMIZE-UNTIL-DONE #<SB-C:COMPONENT :NAME "<unknown>" {1009233D63}>)
  7: (SB-C::IR1-OPTIMIZE-PHASE-1 #<SB-C:COMPONENT :NAME "<unknown>" {1009233D63}>)
  8: (SB-C::IR1-PHASES #<SB-C:COMPONENT :NAME "<unknown>" {1009233D63}>)
  9: (SB-C::COMPILE-COMPONENT #<SB-C:COMPONENT :NAME "<unknown>" {1009233D63}>)
 10: (SB-C::%COMPILE (LAMBDA (A F) (CASE (ROUND 0 #) (# #) (T 0))) NIL NIL)
[...]

x86-64, "2.4.3.163-c837386e2"

[Paul F. Dietz (paul-f-dietz)]

Why is this even creating a float?

[Stas Boukarev (stassats)]

Because it's the type of (min 136085119088598577 a)