int(f64) ^ i32
