-record(float64_value, {value :: gwr@spec:float_value()}).