Generalising annotations to support flexible, dynamic precision

Develop a generalisation of the proposed C++ annotations to support dynamically varying floating-point storage precision over time or space, enabling flexible precision choices in situ.

Background

The current annotations specify static mantissa truncation per field. In many applications, the required precision changes during runtime.

The authors explicitly pose the need to generalise their approach to flexible and dynamic precision selection as an open research direction.