Zabezpieczenie ingerowania SELECT w formularzu

Posiadam formularz na stronie. Problem polega na tym iż użytkownik może łatwo ingerować w wartości w nim. Nie wiem jak się przed tym zabezpieczyć.

<select name="procent" >
<option label="100" value="100"> 100 </option>
<option label="90" value="90">90 </option>
</select> 

$a= $_POST['procent'];
if ($a == 90 OR $a == 100) {} else  {$a = 100;} echo $a; 

Taki kod działa jeśli użytkownik zmieni VALUE na liczbe inna niz 90 lub 100 to domyślnie będzie mieć 100. Jeśli zamieni VALUE na literke lub znak to wtedy w echo wyświetla mi się ta litera. Nie wiem jak się przed tym zabezpieczyć. W PHP 4.0 bylo coś takiego jak porównanie za pomocą $a === 100. A teraz nie wiem jak rozwiązać ten problem

Możesz rzutować do int

<?php

$a = (int)$_POST['procent'];

if( $a == 90 || $a == 100 )
	zrób_coś();
else
	$a = 100;