ah yes, I stand corrected

the 1064 was the vanilla IEEE P754 64-bit pipeline and the 1067 added Intel bus interface