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