r8013: add fixnum-width