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