a monoid for double, for the crazies