The authors of Raddit tried that, but found that actually running Reddit's software, especially on low-end hardware for a smaller community, was a pain in the arse and decided it'd be easier to build their own that fit their purposes.
If that's a genuine ethical issue then patents would be woefully inadequate at preventing it, since they would only provide a time-limited block. To actually fix things you'd need actual regulation, at which point the patent goes back to being bad.
There are records of similar practices (binding toes or piercing the soles of the feet to stop the dead from escaping) in Scandinavia, so it may have been something that came over with the Norse influence in Scotland.
Assuming "floating point" refers to things fitting the IEEE754 spec at some precision, I'm pretty sure there are still only countably many of them.
After all, for any specific size of mantissa and exponent, there will be a finite number of floats of that size, and there are a countable number of options for mantissa and exponent (corresponds to N²), thus the number of floating point values is countable.
Alternatively, each of them corresponds to an arbitrary length bitstring, in addition to a pair of numbers defining the mantissa and exponent, which would put them in bijection with N³ and thus also be countable.
EDIT: to add to that, I believe that one cannot in any meaningful way encode uncomputable values (in the sense that even if one introduces distinguished bitstrings intended to "encode" a specific¹ uncomputable value one can't do anything other than treat is as a distinguished value, and especially one can't perform arithmetic on it or print its digits or similar), so you'll still be limited to a countable set of floating point numbers even with other tricks.
¹ If that term even has meaning when dealing with uncomputable numbers...
It should be noted, the LG Prada predates the original iPhone by about 6 months, with largely the same design (to the degree that LG sued Apple alleging that the design was copied). Apple managed to capture the market, however, whereas LG didn't.
There's the old joke that the axiom of choice is obviously true, the well-ordering theorem is obviously false, and Zorn's lemma is too complicated to say.
I think the only axiom you need to rethink from ZF is powersets (since I think that's the only axiom that produces uncomputable sets from computable ones (ignoring the AC, briefly)). What you'd replace it with (some sort of one based on comprehension, presumably) I couldn't say though.
I tend to prefer considering the sets to encode bitstrings (encode a set as sum(2 ^ -x for x in X)), but yes the equivalence between computable sets and computable numbers is straightforward.
In this case, what you "throw out" are uncomputable (or non-recursive, depending on terminology you like) sets; i.e. sets for which the membership function is not decidable. Yes, there are an uncountable number of these sets, but they can't be defined in any useful way.
For reference, most of the surveys listed by Wikipedia[0] (not including that one, for some reason), list Firefox at about 30% in that period. I assume that the stats in your link comes from visitors to their own site, which given the focus (web development) seems like it could easily be biased towards more technical users (and thus over-represent Firefox compared to wider surveys).
The point I'm making is that despite FF being a better alternative for years, it didn't actually crush IE's market share. Chrome did, and I'd put that down to marketing more than quality (as evidenced by quality not being enough for Firefox or Opera).
The flaw with this notion, is that neither Firefox nor Opera beat IE.
Chrome did.
Most of the people who argue things like this seem to agree that Firefox and Opera were superior browsers to IE. If that was the case, why hadn't they eaten IE's market share long before Chrome was ever produced?
Could it be that Chrome being widely advertised on the most visited site on the internet helped?
To add to that, Google already abuses its position with Chrome (see the stuff surrounding AdNauseum in the past couple days). One company having as much power over the shape of the web as Google already has is scary enough, the notion of them "winning" the browser wars is even worse.