60559-2020-ISO/IEC/IEEE International Standard-Floating-point arithmetic