Floating-Point NaN

Concept

Floating-Point NaN, or Not a Number, represents undefined values in floating-point arithmetic. In RISC-V, NaNs are distinguished as signalling NaNs, which raise exceptions, and quiet NaNs, which propagate silently.

First seen 5/25/2026

Last seen 5/26/2026

Evidence 2 chunks

Wiki v1

WIKI

Overview

Floating-Point NaN stands for Not a Number. It represents undefined values in floating-point arithmetic. [Floating-Point NaN definition]

NaN behavior in RISC-V

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

1 connections

STING ← evaluates 91% 1e

STING has exposed floating-point NaN quirks during verification.

LINKED ENTITIES

1 links

RISC-V distinguishes_nan_categories The evidence states that RISC-V distinguishes between signalling NaNs and quiet NaNs.

CITATIONS

3 sources

3 citations — click to collapse

[1] Floating-Point NaN definition source

[2] RISC-V NaN categories source

[3] Verification context source