x86: i387 renaming