pub fn float_1<'gcx>( float: Term<Name<Interned<'gcx, str>>>, gcx: &'gcx GlobalCx<'gcx>, ) -> Term<Name<Interned<'gcx, str>>>
float/1