Negative zero was introduced because of branch cuts: https://people.freebsd.org/~das/kahan86branch.pdf