[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): The `mul2exp' and `div2exp' functions are now called `mul_2exp' and `div_2exp'.