int main(void)
{
  double d;
  d=1.0;
  while(d>0.0)
  {
    printf("%100.80e\n",d);
    d = d/2.0;
  }
  return 1;
}

##</code><code>##

  my $d;
  $d=1.0;
  while($d>0.0)
  {
    printf("%100.80e\n",$d);
    $d = $d/2.0;
  }

##</code><code>##

  my $d;
  $d=1.0;
  while($d>0.0)
  {
    $d= "$d";
    printf("%100.80e\n",$d);
    $d = $d/2.0;
  }

##</code><code>##

2.38418579101562500000000000000000000000000000000000000000000000000000000000000000e-07
1.19209289550780998537093783879586839091757610731292515993118286132812500000000000e-07

##</code><code>##

2.38418579101562500000000000000000000000000000000000000000000000000000000000000000e-07
1.19209289550781250000000000000000000000000000000000000000000000000000000000000000e-07