Editorial: refer to binary64 values by their official name in more places#3272

Merged

ljharb merged 1 commit intomainfrom binary64

Feb 22, 2024

+2-2

Commits on Feb 22, 2024

Editorial: refer to binary64 by their official name in more places (#3272 )

michaelficarra
authored and
ljharb
committed