To: J3                                                     J3/25-193
From: Steve Lionel
Subject: US03 Edits for Note that the real model is not IEEE 754
Date: 2025-October-21

References: 23-180, N2249, 25-007r1

Edits
=====

[379:14+] 16.4p3+ Numeric models

After p3, insert a new note:

NOTE

The integer and real models do not necessarily reflect any
processor's implementation. In particular, the real model is not
the same as \theIEEEstd.

--END--