Symbol: fixpoint_div