i32 <= f64 ^ 1
