The [herbie20](https://nightly.cs.washington.edu/reports/herbie/1770063486:bad-herbie20-repro:0255f5ed/) platform has -1364.1% total accuracy compared to the [default](https://nightly.cs.washington.edu/reports/herbie/1770061943:main:25f0612b/) platform. It looks like herbie20 is doing some weird things with casts: <img width="801" height="295" alt="Image" src="https://github.com/user-attachments/assets/3994c468-5a2a-4e5d-b534-394cbccd18cf" /> Repro branch: `bad-herbie20-repro`, which runs nightly with the `--platform herbie20` flag.
