I. Introduction
Floating-point data types are a natural choice for software developers when implementing numerical computations. They are widely used in computer science and engineering, including in cyber-physical systems that interact with the physical world. Even relatively small embedded processors nowadays provide floating-point units. For example, the recent Helium Vector Extension [1] by ARM targets low-power microcontrollers and supports vectorized single and half precision floating-point operations.