def div(x;y): if y==0 then error("NaN") else x/y end;