sO formatDouble_noDotZero_gen(O o) {
  if (o cast Double)
    ret formatDouble_noDotZero(o);
  ret o;
}