sO formatDouble_noLeadingZero_gen(O o) {
  if (o cast Double)
    ret formatDouble_noLeadingZero(o);
  ret o;
}