For x86, yes, you are right. IIRC the maths coprocessor *can* be
changed to use floating point numbers less precise than 80-bit and
that's sometimes worth doing - such as for fast divides.
Check out instrucion timing tables documented by Agner Fog for lots of
details.
James