README: 32 bits
Adding dxl_margin