Re: [PPL-devel] Troubles with rounding