The storyFrom hard (as in hardware) + float (as in floating-point number).Etymology from Wiktionary, CC BY-SA 4.0.