sig
  val gcd_int : int -> int -> int
  val num_bits_int : int -> int
  val compare_int : int -> int -> int
  val sign_int : int -> int
  val length_of_int : int
  val biggest_int : int
  val least_int : int
  val monster_int : int
end