emeryberger merged emeryberger/SnakeLean#24 · July 6, 2026 12:57 Float support: Geometry corpus (+31 functions), 4 transpiler bugs fixed, strict-equality oracle #24 SummaryImplements PLAN.md bug-finding direction #3 (Float). Float is added to the fuzzer's value universe and, per the agreed policy, the differen… +230 -28