Add a deduplication cache for double constants, matching the existing approach for int32 and string constants. Multiple references to the same floating-point value now share a single constant table entry.
