sig
  val ( <% ) : int32 -> int32 -> bool
  val ( <=% ) : int32 -> int32 -> bool
  val ( >% ) : int32 -> int32 -> bool
  val ( >=% ) : int32 -> int32 -> bool
  val ( <>% ) : int32 -> int32 -> bool
  val ( +% ) : int32 -> int32 -> int32
  val ( -% ) : int32 -> int32 -> int32
  val ( *% ) : int32 -> int32 -> int32
  val ( /% ) : int32 -> int32 -> int32
  val ( ~-% ) : int32 -> int32
  val sll : int32 -> int32 -> int32
  val ( >>% ) : int32 -> int32 -> int32
  val ( >>>% ) : int32 -> int32 -> int32
  exception IntegerTooLarge
  val to_int : int32 -> int
end