Editing: IsDouble.php