make R_NaN_cast_to_int be int rather than double
Merge branch '03-ISNAN' into 15-task-merging