[PPL-devel] ppl/src checked_numeric_limits.hh