Separate decayed value monoid

I hope to make monoid a separate class, so that eps can be read from the monoid and makes testing easier.