> ## Documentation Index
> Fetch the complete documentation index at: https://docs.sifr.sh/llms.txt
> Use this file to discover all available pages before exploring further.

# SIFR-INT-0004: Compile-time integer evaluation budget exceeded.

> Compile-time integer evaluation budget exceeded.

`SIFR-INT-0004` belongs to the **Integer model** diagnostic family. It means: compile-time integer evaluation budget exceeded.

## Why It Happens

Sifr separates exact integers from fixed-width integers. This diagnostic fires when an integer value, conversion, or operation violates that model.

<Info>
  Use `sifr --explain SIFR-INT-0004` locally to see the renderer's exact message template and any machine-applicable suggestions for the compiler version you are running.
</Info>

## Erroneous Code

```python theme={null}
small: int8 = 200
```

## How To Fix It

Choose an integer type whose range fits the value, and make lossy or fallible numeric conversions explicit.

## Fixed Code

```python theme={null}
small: int8 = 127
wide: int = 200
```

## Details

| Field                  | Value                                                                                                      |
| ---------------------- | ---------------------------------------------------------------------------------------------------------- |
| Code                   | `SIFR-INT-0004`                                                                                            |
| Family                 | `INT`                                                                                                      |
| Severity               | Error                                                                                                      |
| Stability              | stable                                                                                                     |
| Owner                  | `sifr_lowering::lower::integer_literal_diagnostics`                                                        |
| Representative fixture | `crates/sifr_lowering/src/lower/expressions_tests.rs::test_large_integer_literal_over_budget_has_int_code` |

See the [Error Codes index](/diagnostics/error-codes) for the complete catalog.