make R_NaN_cast_to_int be int rather than double