William D Clinger wrote:
> type declarations cannot address the
> portability and predictability issues unless implementations
> are required to interpret those declarations in a consistent
> way.

By "predictability", do the authors of the SRFI mean that inexact
arithmetic gives the same result everywhere, that (/ 1 2) gives the same
result everywhere, or something else?

Regards,

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