What's Changed
- Floats: add missing inline_for_extraction, expand tests by @mtzguido in #4346
- Update karamel to master branch (float patch was merged) by @mtzguido in #4350
- Bump version to 2026.07.12 by @dzomo in #4353
Full Changelog: v2026.07.05...v2026.07.12
