DB<100> use constant inf => inf+0
 => 0

  DB<101> $a=inf
 => "inf"

  DB<102> ++$a
 => "inf"

  DB<103> ++$a
 => "inf"