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