Re: New draft of proposed IEEE 8-bit floating-point formats Vladimir Nikishkin 30 Nov 2024 08:44 UTC