This Monoid for Float will make your associativity laws float away.