diff --git a/lib/Base/Int.fram b/lib/Base/Int.fram
index c638094..a324546 100644
--- a/lib/Base/Int.fram
+++ b/lib/Base/Int.fram
@@ -6,7 +6,7 @@ import open Types
 import open Operators
 
 pub method toString = (extern dbl_intToString : Int -> String) self
-pub method toInt64 = (extern dbl_int64ToInt : Int -> Int64) self
+pub method toInt64 = (extern dbl_intToInt64 : Int -> Int64) self
 
 pub method equal = (extern dbl_eqInt  : Int -> Int -> Bool) self
 pub method neq   = (extern dbl_neqInt : Int -> Int -> Bool) self
diff --git a/lib/Base/Int64.fram b/lib/Base/Int64.fram
index 47e2c61..bc3c0a5 100644
--- a/lib/Base/Int64.fram
+++ b/lib/Base/Int64.fram
@@ -47,11 +47,11 @@ pub method toString {self : Int64} =
   (extern dbl_int64ToString : Int64 -> String) self
 pub method toInt {~re : {type X} -> Unit ->[|_] X, self : Int64} =
   if self <= 0x3fffffffffffffffL && self >= 0xc000000000000000L then
-    (extern dbl_intToInt64 : Int64 -> Int) self
+    (extern dbl_int64ToInt : Int64 -> Int) self
   else ~re ()
 pub method toIntOpt {self : Int64} =
   if self <= 0x3fffffffffffffffL && self >= 0x7fffffffffffffffL then
-    Some ((extern dbl_intToInt64 : Int64 -> Int) self)
+    Some ((extern dbl_int64ToInt : Int64 -> Int) self)
   else None
 
 pub method abs {self : Int64} =