Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #3596 - bend-n:support_fstar_algebraic, r=RalfJung
support `f*_algebraic`
supports the [`f*_algebraic`](https://doc.rust-lang.org/std/intrinsics/fn.fadd_algebraic.html) intrinsics.
