This is quite likely and the most logical conclusion in my experience. I remember way back when, while still programming on main frames, that some compilers would allow both positive and negative zeros. At least until they were later modified in future releases to having only one possible signed value for a zero.