poly_int: decode_addr_const