Docs/Overview/Documentation

LANGUAGE · VERIFIED

Numeric Types

  • int
  • i64 and i64 literals
  • f64 and decimal literals
  • Arithmetic and comparisons
  • Numeric promotion
  • Explicit as casts
  • Narrowing diagnostics
let a: i64 = 10i64;
let b: f64 = 10.5;
let c = 10 as f64;

Tested promotion includes int + i64 → i64, int + f64 → f64, and i64 + f64 → f64.

TRACEABILITY

Related Evidence

Audit evidence

These references identify supplied project evidence related to the documented area. Test files indicate exercised scenarios; reports and source documents provide additional audit evidence. A listed item is not a claim that every related behavior is covered.

  • tests/backend/i64_literal.avs
  • tests/backend/decimal_numbers.avs
  • tests/backend/decimal_stage2b1_numeric_promotion.avs
  • tests/backend/decimal_stage2b4_cast_expressions.avs
  • tests/backend/decimal_compare.avs