Fix integer versus number symbol.