Fixes #334: remove Float and Double Monoid
Merge pull request #346 from larsrh/topic/remove-float-monoid

remove Float and Double Monoid