I'd rather store a single 32 bit int over a triplet of float64s. There are many of these.