i32 <= max(f64)
