# Interface: NumExpr

Defined in: [packages/core/src/records/contract-builder.ts:105](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L105)

A double: every number read from a body

## Extends

- [`CelExpr`](https://minca.dev/api/core/interfaces/CelExpr.md)\<`number`\>
- `Ordered`\<`NumberLike`\>

## Properties

| Property | Modifier | Type | Inherited from | Defined in |
| ------ | ------ | ------ | ------ | ------ |
| <a id="property-cel"></a> `~cel` | `readonly` | `Built` | [`CelExpr`](https://minca.dev/api/core/interfaces/CelExpr.md).[`~cel`](https://minca.dev/api/core/interfaces/CelExpr.md#property-cel) | [packages/core/src/records/contract-builder.ts:41](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L41) |
| <a id="property-t"></a> `~t?` | `readonly` | `number` | [`CelExpr`](https://minca.dev/api/core/interfaces/CelExpr.md).[`~t`](https://minca.dev/api/core/interfaces/CelExpr.md#property-t) | [packages/core/src/records/contract-builder.ts:42](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L42) |

## Methods

### add()

```ts
add(other): NumExpr;
```

Defined in: [packages/core/src/records/contract-builder.ts:107](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L107)

#### Parameters

| Parameter | Type |
| ------ | ------ |
| `other` | `number` \| [`DynExpr`](https://minca.dev/api/core/interfaces/DynExpr.md) \| `NumExpr` |

#### Returns

`NumExpr`

***

### div()

```ts
div(other): NumExpr;
```

Defined in: [packages/core/src/records/contract-builder.ts:110](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L110)

#### Parameters

| Parameter | Type |
| ------ | ------ |
| `other` | `number` \| [`DynExpr`](https://minca.dev/api/core/interfaces/DynExpr.md) \| `NumExpr` |

#### Returns

`NumExpr`

***

### eq()

```ts
eq(other): BoolExpr;
```

Defined in: [packages/core/src/records/contract-builder.ts:96](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L96)

#### Parameters

| Parameter | Type |
| ------ | ------ |
| `other` | `NumberLike` \| `null` |

#### Returns

[`BoolExpr`](https://minca.dev/api/core/interfaces/BoolExpr.md)

#### Inherited from

`Ordered.eq`

***

### gt()

```ts
gt(other): BoolExpr;
```

Defined in: [packages/core/src/records/contract-builder.ts:100](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L100)

#### Parameters

| Parameter | Type |
| ------ | ------ |
| `other` | `NumberLike` |

#### Returns

[`BoolExpr`](https://minca.dev/api/core/interfaces/BoolExpr.md)

#### Inherited from

`Ordered.gt`

***

### gte()

```ts
gte(other): BoolExpr;
```

Defined in: [packages/core/src/records/contract-builder.ts:101](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L101)

#### Parameters

| Parameter | Type |
| ------ | ------ |
| `other` | `NumberLike` |

#### Returns

[`BoolExpr`](https://minca.dev/api/core/interfaces/BoolExpr.md)

#### Inherited from

`Ordered.gte`

***

### in()

```ts
in(list): BoolExpr;
```

Defined in: [packages/core/src/records/contract-builder.ts:106](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L106)

#### Parameters

| Parameter | Type |
| ------ | ------ |
| `list` | \| [`DynExpr`](https://minca.dev/api/core/interfaces/DynExpr.md) \| [`ListExpr`](https://minca.dev/api/core/interfaces/ListExpr.md)\<`number`\> \| readonly `NumberLike`[] |

#### Returns

[`BoolExpr`](https://minca.dev/api/core/interfaces/BoolExpr.md)

***

### lt()

```ts
lt(other): BoolExpr;
```

Defined in: [packages/core/src/records/contract-builder.ts:98](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L98)

#### Parameters

| Parameter | Type |
| ------ | ------ |
| `other` | `NumberLike` |

#### Returns

[`BoolExpr`](https://minca.dev/api/core/interfaces/BoolExpr.md)

#### Inherited from

`Ordered.lt`

***

### lte()

```ts
lte(other): BoolExpr;
```

Defined in: [packages/core/src/records/contract-builder.ts:99](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L99)

#### Parameters

| Parameter | Type |
| ------ | ------ |
| `other` | `NumberLike` |

#### Returns

[`BoolExpr`](https://minca.dev/api/core/interfaces/BoolExpr.md)

#### Inherited from

`Ordered.lte`

***

### mul()

```ts
mul(other): NumExpr;
```

Defined in: [packages/core/src/records/contract-builder.ts:109](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L109)

#### Parameters

| Parameter | Type |
| ------ | ------ |
| `other` | `number` \| [`DynExpr`](https://minca.dev/api/core/interfaces/DynExpr.md) \| `NumExpr` |

#### Returns

`NumExpr`

***

### ne()

```ts
ne(other): BoolExpr;
```

Defined in: [packages/core/src/records/contract-builder.ts:97](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L97)

#### Parameters

| Parameter | Type |
| ------ | ------ |
| `other` | `NumberLike` \| `null` |

#### Returns

[`BoolExpr`](https://minca.dev/api/core/interfaces/BoolExpr.md)

#### Inherited from

`Ordered.ne`

***

### neg()

```ts
neg(): NumExpr;
```

Defined in: [packages/core/src/records/contract-builder.ts:111](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L111)

#### Returns

`NumExpr`

***

### sub()

```ts
sub(other): NumExpr;
```

Defined in: [packages/core/src/records/contract-builder.ts:108](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L108)

#### Parameters

| Parameter | Type |
| ------ | ------ |
| `other` | `number` \| [`DynExpr`](https://minca.dev/api/core/interfaces/DynExpr.md) \| `NumExpr` |

#### Returns

`NumExpr`

***

### toInt()

```ts
toInt(): IntExpr;
```

Defined in: [packages/core/src/records/contract-builder.ts:113](https://github.com/leifriksheim/minca/blob/main/core/src/records/contract-builder.ts#L113)

`int(x)`, toward zero

#### Returns

[`IntExpr`](https://minca.dev/api/core/interfaces/IntExpr.md)