Floating-point labels using Float64Index