external from_float: dest: t->float->unit = "_mlgmp_z2_from_float"