make R_NaN_cast_to_int be int rather than double
Merge branch '03-ISNAN' into 15-extra-news
NEWS on ISNAN improvement, change release data to 2013-11-25