f64 <= i32 ? add : ok
