Definition direct_method_alg :=
  let v := n * f_tbl h - m * 2 ^ 127 in
  if v < - 2 ^ 57 then Gt
  else if v > 2 ^ 57 then Lt
  else Eq.