12 Floating-Point Processing and Instruction Encoding