Deletion of Octuple-precision floating-point format

Comment: to IEEE floating point, per RHaworth.  The only reference in the article is to a research paper, which isn't even published in a journal, so this clearly fails .  On the other hand, I can find a few weak sources here and there, so it appears to be a real thing and a brief mention in  IEEE floating point seems reasonable
Stance: merge
Cited policy: Wikipedia:Notability (WP:N)