cheers anakadote, your solution does work, but I cant for the life of me figure out why!?
I did some further experimentation and found that even this works!
echo isset($_GET["feet"]);
$feet = filter_input(INPUT_GET, "feet", FILTER_SANITIZE_NUMBER_FLOAT,FILTER_FLAG_ALLOW_FRACTION);
Is $_GET["feet"] assigned some not NULL value as part of the isset() function?
Also, what does it actually mean to define an index?
Thanks!