Symbol: fixpoint_mul