https://miiverse.nintendo.net/replies/AYMHAAACAAADVHkUxGOmhg 『負数の値が関数による演算によって0に丸められた場合には符号がマイナスで仮数のビットがすべて0の「-0」という値になる』 3号でも厳密な(隠れた小数が無い)マイナスゼロは起きるそうです。