Symbol: dc_fixpt_round