Fix signed integer division in ARM runtime ABI