[PPL-devel] ppl/src fpu-none.inlines.hh