Tag merge / synonym request: [float] → [floating-point]

Question

Please merge tag float (10 questions) into floating-point (32), and make them synonyms.

---

Preference for master tag is because it looks unambiguous and because Wikipedia article uses this term: Floating point.

Answer 1

I have successfully completed the merging of these two tags.