fixedarith: switch divdeX to XLEN