DB<149> $a=14.4
 => "14.4"

  DB<150> $b=10+$a-10
 => "14.4"

  DB<151> $a-$b
 => "1.77635683940025e-15"