Function lean_float_div

src/primitive/float.rs:52–54

(a: f64, b: f64)

    a * b
}
pub fn lean_float_div(a: f64, b: f64) -> f64 {
    a / b
}
pub fn lean_float_negate(a: f64) -> f64 {
    -a
}