Adds p16 (power_digit_sum) and its test.