DB<107> $x=95*806 /100; => "765.7" DB<108> $y=13*589 /10; => "765.7" DB<109> $x <=> $y => 0