let eval_float round = { eval_symetric = eval_symetric_float; eval_antisymetric = eval_antisymetric_float round; }