i32 < i64 ^ f64
