initial implementation of GaugeFloat64