[aslspec] changes following review comments

Author: Roman-Manevich

asllib/doc/asl.spec

@@ -5271,10 +5271,10 @@ typing function binop_literals(op: binop, v1: literal, v2: literal) ->
     case div_int {
       op = DIV;
       te_check(b > zero, TE_BO) -> True;
-      n := fraction(a, b);
-      te_check(is_integer(n), TE_BO) -> True;
+      n := round_down(fraction(a, b));
+      te_check(a = n * b, TE_BO) -> True;
       --
-      L_Int(a / b);
+      L_Int(n);
     }
 
     case fdiv_int {
@@ -5516,7 +5516,6 @@ typing function binop_literals(op: binop, v1: literal, v2: literal) ->
 
     case eq_bits {
       op = EQ;
-      list_len(a) = list_len(b);
       --
       L_Bool(a = b);
     }