$idx{$val} ||= (1 && push(@num, $val));