-record(float_const_value, {value :: ieee_float:i_e_e_e_float()}).