xref to floating-point value section