Correct some off-by-one errors in ia32_emitf().