Has FP80 ever existed anywhere other than x87?