Looking at Wikipedia - might you mean the 1067? They appears to claim that the 1167 paired with the 80386...though that page certainly could be better-written and better-sourced.
the 1064 was the vanilla IEEE P754 64-bit pipeline and the 1067 added Intel bus interface