Gnitfos 2009 home!

input
array(7) {
  [0]=>
  string(1) "2"
  [1]=>
  string(2) "35"
  [2]=>
  string(2) "42"
  [3]=>
  string(4) "100 "
  [4]=>
  string(1) "2"
  [5]=>
  string(1) "3"
  [6]=>
  string(3) "100"
}

///////////////////////////////처리//////////////////////////////////////////
for($i=0; $i<sizeof($a); $i++){
    $a[$i] = (int)$a[$i];
   }
$a = array_unique($a);
asort ($a);
////////////////////////////////////////////////////////////////////////////////
output

array(5) {
  [0]=>
  int(2)
  [5]=>
  int(3)
  [1]=>
  int(35)
  [2]=>
  int(42)
  [3]=>
  int(100)
}