pub fn divide(a: f64, b: f64) -> f64
Division. Contents divided by contents is always contents. IEEE 754 handles the value: 10/0 = Inf, 0/0 = NaN. The sort is determined. The value is arithmetic’s problem.