Name:	jrvs_RepaymentsforloansaftertenYear
Namespace Prefix:	jrvs_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

Amount of noncash expense included in interest expense to amortize debt discount and premium associated with the related debt instruments. Excludes amortization of financing costs. Alternate captions include noncash interest expense.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 45
-Paragraph 28
-Subparagraph (b)
-SubTopic 10
-Topic 230
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-28

Reference 2: http://www.xbrl.org/2003/role/disclosureRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1F
-Subparagraph (b)(2)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481139/470-20-50-1F

Reference 3: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 835
-SubTopic 30
-Section 45
-Paragraph 1A
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482925/835-30-45-1A

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 220
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03.8)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147483621/220-10-S99-2

Name:	us-gaap_AmortizationOfDebtDiscountPremium
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

Amount of amortization expense attributable to debt issuance costs.

Reference 1: http://www.xbrl.org/2003/role/disclosureRef
-Topic 470
-SubTopic 20
-Name Accounting Standards Codification
-Section 50
-Paragraph 1F
-Subparagraph (b)(2)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147481139/470-20-50-1F

Reference 2: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 45
-Paragraph 28
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-28

Reference 3: http://www.xbrl.org/2003/role/disclosureRef
-Topic 835
-SubTopic 30
-Name Accounting Standards Codification
-Section 45
-Paragraph 3
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482925/835-30-45-3

Reference 4: http://fasb.org/us-gaap/role/ref/legacyRef
-Topic 220
-SubTopic 10
-Name Accounting Standards Codification
-Section S99
-Paragraph 2
-Subparagraph (SX 210.5-03(8))
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147483621/220-10-S99-2

Name:	us-gaap_AmortizationOfFinancingCosts
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

The amount of interest income and other income recognized during the period. Included in this element is interest derived from investments in debt securities, cash and cash equivalents, and other investments which reflect the time value of money or transactions in which the payments are for the use or forbearance of money and other income from ancillary business-related activities (that is, excluding major activities considered part of the normal operations of the business).

No definition available.

Name:	us-gaap_InterestAndOtherIncome
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

Amount of interest capitalized during the period.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 835
-SubTopic 20
-Section 50
-Paragraph 1
-Subparagraph (b)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147483013/835-20-50-1

Name:	us-gaap_InterestCostsCapitalized
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	debit
Period Type:	duration

Amount of cash paid for interest, including, but not limited to, capitalized interest and payment to settle zero-coupon bond attributable to accreted interest of debt discount and debt instrument with insignificant coupon interest rate in relation to effective interest rate of borrowing attributable to accreted interest of debt discount; classified as operating and investing activities.

Reference 1: http://www.xbrl.org/2009/role/commonPracticeRef
-Topic 230
-SubTopic 10
-Name Accounting Standards Codification
-Section 50
-Paragraph 2
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482913/230-10-50-2

Name:	us-gaap_InterestPaid
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	duration

Carrying value as of the balance sheet date of loans payable (with maturities initially due after one year or beyond the operating cycle if longer), excluding current portion.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Topic 210
-SubTopic 10
-Section S99
-Paragraph 1
-Subparagraph (SX 210.5-02.22)
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147480566/210-10-S99-1

Name:	us-gaap_LongTermLoansPayable
Namespace Prefix:	us-gaap_
Data Type:	xbrli:monetaryItemType
Balance Type:	credit
Period Type:	instant

Cash payments for and related to principal collection on loans related to operating activities.

Reference 1: http://fasb.org/us-gaap/role/ref/legacyRef
-Name Accounting Standards Codification
-Section 45
-Paragraph 25
-Subparagraph (g)
-SubTopic 10
-Topic 230
-Publisher FASB
-URI https://asc.fasb.org//1943274/2147482740/230-10-45-25