Codice PHP:
for($i=1$i<=9$i+=0.5)  {
  echo 
"<option value='$i'>$i</option>";
};