IDA plugin changes: 1. Floating point support; 2. Changed insn mnemonics to match programmers manual; 3. shifted add insns now have shift value in parameter rather than insn mnemonic.