sig
  external intOfBool : bool -> int = "%identity"
  external floatOfInt : int -> float = "%identity"
end