Follow-on to last change: update prefixes of floating point and integer execution units