wf:to_integer fix