DB<186> $x1= 1000*(4/25)
 => 160

  DB<187> $x2= 4000/25
 => 160

  DB<188> $x1 == $x2
 => 1