feat(data/real/nnreal): define nnreal.gi : galois_insertion of_real coe (#1699)
nnreal.gi : galois_insertion of_real coe