min(f64) + i32
