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