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