Deletion of IEEE machine

Comment: I completely agree with the nom.  I'm convinced this term is .  I've certainly never heard it, but more important, neither has Google:  The term doesn't appear anywhere in the literature (Google books or scholar).  Common usage is IEEE floating point, which redirects to IEEE 754-2008
Stance: delete
Cited policy: Wikipedia:Wikipedia is not for things made up one day (WP:MADEUP)