{
    "title": "Function to convert an integer to a double-precision number:",
    "name": "intToDouble",
    "result_type": "Double",
    "no_log": true,
    "call": "Compiler.Real.intToDouble[x]",
    "args": [
        {
            "arg_name": "x",
            "arg_type": "Int",
	    "description": "The integer to convert"
        }
    ]
}
