tracking issue for algebraic_ float functions in kani

[xd009642]

Following on from this discussion #4733 this is a tracking issue for support of the algebraic methods that will be stabilised in rust 1.98.

A code sample from the discussion that shows as not supported:

#![feature(float_algebraic)]

#[kani::proof]
fn check_algebraic_add() {
    let a: f32 = kani::any();
    let b: f32 = kani::any();
    kani::assume(a.is_finite() && b.is_finite());
    assert!(a.algebraic_add(b) == a + b);
}