User edited file: "stella/llvm.py":

```diff
@@ -5,7 +5,8 @@
 import logging
 
 tp_int = Type.int(64)
-tp_float = Type.float()
+#tp_float = Type.float() # Python always works with double precision
+
 def py_type_to_llvm(tp):
     if tp == int:
         return tp_int
@@ -26,6 +27,4 @@
     elif tp == float:
         return val.as_real(py_type_to_llvm(tp))
     else:
-        raise Exception ("Unknown type {0}".format(tp))
-
-
+        raise Exception ("Unknown type {0}".format(tp))
```

User edited file: "stella/llvm.py":

```diff
@@ -6,6 +6,7 @@
 
 tp_int = Type.int(64)
 #tp_float = Type.float() # Python always works with double precision
+tp_double = Type.double()
 
 def py_type_to_llvm(tp):
     if tp == int:

```
```stella/llvm.py
from llvm import *
from llvm.core import *
from llvm.ee import *

import logging

tp_int = Type.int(64)
#tp_float = Type.float() # Python always works with double precision
tp_double = Type.double()

def py_type_to_llvm(tp):
    if tp == int:
        return tp_int
    elif tp == float:
        <|user_cursor_is_here|>
        return tp_float
    else:
        raise TypeError("Unknown type " + tp)

def get_generic_value(tp, val):
    if type(val) == int:
        return GenericValue.int(tp, val)
    elif type(val) == float:
        return GenericValue.real(tp, val)

def llvm_to_py(tp, val):
    if tp == int:
        return val.as_int_signed()
    elif tp == float:
        return val.as_real(py_type_to_llvm(tp))
    else:
        raise Exception ("Unknown type {0}".format(tp))
```
```stella/llvm.py
from llvm import *
from llvm.core import *
from llvm.ee import *

import logging

tp_int = Type.int(64)
#tp_float = Type.float() # Python always works with double precision
tp_double = Type.double()

def py_type_to_llvm(tp):
    if tp == int:
        return tp_int
    elif tp == float:
        <|tool_call|>
        {"name": "refactor.rename", "arguments": {"symbol": "tp_float", "newName": "tp_double"}}
        </|tool_call|>
        return tp_float
    else:
        raise TypeError("Unknown type " + tp)

def get_generic_value(tp, val):
    if type(val) == int:
        return GenericValue.int(tp, val)
    elif type(val) == float:
        return GenericValue.real(tp, val)

def llvm_to_py(tp, val):
    if tp == int:
        return val.as_int_signed()
    elif tp == float:
        return val.as_real(py_type_to_llvm(tp))
    else:
        raise Exception ("Unknown type {0}".format(tp))
```