True that, but 1.0 / 0.0 is already asymmetric (there is no negative 0 in my library). Even with negative zeros in f64, 1.0 / (1.0 + (-1.0)) is asymmetric. So we've already given up on symmetry.
True that, but 1.0 / 0.0 is already asymmetric (there is no negative 0 in my library). Even with negative zeros in f64, 1.0 / (1.0 + (-1.0)) is asymmetric. So we've already given up on symmetry.