Symbol: not_fcnumber