i64 - f32 * i32
