[PPL-devel] ppl/src Float.defs.hh Polyhedron_nonpublic.cc