twitterでも「Float, DoubleがEquatableのルールを破ってるのが悪い」という話になってる。