fixedarith: switch modsd to XLEN