make R_NaN_cast_to_int be int rather than double
Merge branch '03-ISNAN' into 12