This repository has been archived by the owner on Jan 15, 2025. It is now read-only.

Use the official IEEE 754 rounding mode names #373

Job	Run time
build	18s
	18s

Provide feedback