Type inference is broken for int<_>

Code to reproduce

entity main() {
    let x = 200_i12 - 500_i12;
}

Reported error

error: Expected type Number<_>, got int<12>
  ┌─ src/main.spade:2:13
  │
2 │     let x = 200_i12 - 500_i12;
  │             ^^^^^^^----------
  │             │
  │             Type Number<_> inferred here
  │             Expected Number<_>
  │
  = note: Expected: Number<_>
               Got: int<12>