Symbol: decode_div