emeryberger merged emeryberger/SnakeLean#33 · July 7, 2026 13:02 fix: whole-number Float literal emitted as Python int (F34) #33 SummaryA whole-number Float literal — e.g. the 0 in if m1 == 0 || m2 == 0 then 0 else … (elaborated to (0 : Float) via instOfNatFloat → proj OfNat.0… +58 -7