Symbol: fixed_point