x87 always had a choice of 32/64/80-bit user-facing floats. It just operated internally on 80 bits.