Fixed BigIbt encoding