Further simplified autoCastToken.