(: Name: emptyorderdecl-4 :)
(: Description: Evaluation of a prolog that specifies "empty greatest" with a set of numbers (one that results in NaN) and sort them in ascending order :)

declare default order empty greatest;

(: insert-start :)
declare variable $input-context1 external;
(: insert-end :)

for $i in (1,4,0 div 0E0,7)
order by $i ascending
return $i