external float_from: t->float = "_mlgmp_z_to_float"