[PopePompus]

Yes, DEC did use a non-IEEE floating point format at least through the VAX-11 era. I was fooled by the title too.