- "real_names" : ["single", "double", "long", "virtual", "Rational_GMPint", "Rational_Arbint", "mpfrc++", "iRRAM", "ParanoidNumber", "GMPrat"],
+ "real_names" : ["float", "double", "long", "virtual", "Rational_Gmpint", "Rational_Arbint", "mpfr", "iRRAM", "ParanoidNumber", "Gmprat"],