used NaN notation