ok and i32 >= f64
