[Lean] Pattern-matching on float literals

[abentkamp]

Lean does not seem to support pattern matching on Floats.

match s {
        0.0 => "is zero",
        _ => "is not zero",
};