Hi, This is on ARM/Linux, emulated in qemu. Welcome to Clozure Common Lisp Version 1.8-dev-r15116M-trunk (LinuxARM32)! ? (lambda (a) (declare (type (eql 1.0) a)) (float a 2.0d0)) #<Anonymous Function #x545FF77E> ? (funcall * 1.0) 524288.1240234375D0 -- Eric Marsden