"correct", but VAX doesn't support NaN and infinity in its floating point, so this is just to make m4 build on VAX.