bug reports related to NaN