The sensing contrast is a checked difference of two occupancies. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
highlighted = computed this step
Compare high and low occupancy
The high side binds 3/4 while the low side binds 1/2.