Haha, "float is a monad" is the first thing that popped into my head when I read that.