fix #8968: abs(big(-0.0))