[PPL-devel] Use of ldexpl() in the floating_point branch

Fabio, I saw that we use ldexpl() twice in the floating_point branch. However: 1) that function is not available on several platforms; 2) in both cases we pass an argument of type double as the first argument; 3) it seems we use that function in a way that is not conditional on the floating-point format(s) involved. When you have time, can you please look at this issue? Thanks, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it