
Bug for C functions returning double:

The code generator for the PowerPC of Clean 1.3 and 1.3.1 generates incorrect code
for C calls of C functions returning double. This will be fixed with the next
release of Clean. To work around this bug, return the double using a *double
argument instead (and void result).
