if not finite( <i>expression</i> ) then ...