chore: sync Data.Real.ENNReal (#2525)
data.real.ennreal
afdb4fa3b32d41106a4a09b371ce549ad7958abd
57ac39bd365c2f80589a700f9fbb664d3a1a30c2