IEEE 754的には-0 == 0のはず。
そう考えれば-0を0と出力する処理系があるのも仕方ない気がする。