Comparable_intf
.
With_zero