Function prev_float 

pub fn prev_float(x: f64) -> f64

Next representable f64 toward negative infinity.

Examples

use mathverse_core::precision::{next_float, prev_float};

let next = next_float(1.0);
assert_eq!(prev_float(next), 1.0);