Function integer_vector_wide_check 

fn integer_vector_wide_check(param: &str) -> String

Build the lossless whole-number predicate for a REALSXP-accepting integer vector (the i64 / u64 / isize / usize family).

Accepts integer/logical/raw and whole-number doubles, rejects fractional doubles. The whole-number test is NA-safe (is.na(p) | p == trunc(p)): NA_real_ passes (maps to NA_integer_), 1.5 fails. Inf/NaN satisfy x == trunc(x) in R but are caught by the Rust-side range/NaN conversion check instead.