.

<monetary> <allotment(N)> => <monetary>*N.

<asset | monetary | funding> => <asset>.

<value_to_bump: any> <any>*N <int N> => <any>*N <value_to_bump>.

<value: not funding>.

.

<funding>*N <int N> => <funding> (first has highest priority).

<funding> => <funding>.

<funding> => <funding> <sum: monetary>.

<number> <number> => <number>.

<number> <number> => <number>.

<portion>*N <int N> => <allotment(N)>.

<monetary> <monetary> => <monetary> // panics if not same asset.

<asset> <number> => <monetary>.

<any>.

<funding>.

<funding> <account>.

<funding> <monetary> => <remaining: funding> <taken: funding> // fails with EXIT_INSUFFICIENT_FUNDS if not enough.

<source: account> <overdraft: monetary> => <funding>.

<source: account> <monetary> => <funding> // takes amount from account unconditionally.

<funding> <monetary> => <missing: monetary> <remaining: funding> <taken: funding> // Doesn't fail on insufficient funds.

.