Is that useful to anybody? Should
floats be banned from any future uses?
float is an actual keyword in C# and Java (and a few other languages too). It has a very specific meaning: a 32 bit single-precision floating point number.
I see your point about its ambiguity with CSS float. But I don't think your proposed solution is better than the current situation, although I would be in favor of creating a tag synonym for floats.