The co-carrier, degenerate for a point — just its weight az.
ccr(a) = e4 ∧ a^☆ is antiscalar-valued for a round point, and antiscalar results are plain Doubles.
ccr(a) = e4 ∧ a^☆
Double