[PPL-devel] floating point behaviour