I would just make this a note in the float64index section. a don't really need a new section