Marcin 'Qrczak' Kowalczyk wrote:
> Declaring types of identifiers is not enough, because it can't express
> the wish to ignore any fixnum overflow and assume that the result will
> fit in a fixnum.

Common Lisp get around this by allowing one to specify the range as part
of the type. Specifying the range of a flonum can also help with type
inferences of things like sqrt.

Regards,

Alan
--
Dr Alan Watson
Centro de Radioastronomía y Astrofísica
Universidad Astronómico Nacional de México