Symbol: poly_decode_signed_two_to_power_17