The carrier, saturated for a circle — the whole plane, as the antiscalar weight cw.
car(c) = e4 ∧ c = cw·𝟙 is antiscalar-valued for a circle, and antiscalar results are plain Doubles.
car(c) = e4 ∧ c = cw·𝟙
Double