[PPL-devel] Fwd: Re: floating point behaviour