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

Evidence references

Open a published source test or inspect the evidence index for source and report summaries. A source file demonstrates a test scenario; it does not imply complete coverage of the related behavior.

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

Browse the public evidence index →