@techreport{gustedt:hal-02311460, TITLE = {{Contain the floating point naming explosion}}, AUTHOR = {Gustedt, Jens}, URL = {https://inria.hal.science/hal-02311460}, TYPE = {Research Report}, NUMBER = {N2426}, INSTITUTION = {{ISO JCT1/SC22/WG14}}, YEAR = {2019}, MONTH = Sep, PDF = {https://inria.hal.science/hal-02311460/file/n2426.pdf}, HAL_ID = {hal-02311460}, HAL_VERSION = {v1}, }