Eh, there's bound to be limitations to what kind of logic you can have in a single door/gate. Addding negative zero doesn't seem worth it just for sign constraints imo
