extensions: use more integer instructions for float lookups