--- /dev/null
+import "JavaBuiltin" as Java\r
+\r
+importJava "java.math.BigInteger" where\r
+ data BigInteger\r
+ \r
+ @JavaName "add"\r
+ (+) :: BigInteger -> BigInteger -> BigInteger\r
+\r
+ @JavaName "<init>"\r
+ fromString :: String -> BigInteger\r
+\r
+main = fromString "123" + fromString "234"\r
+--\r
+357
\ No newline at end of file