Snakify返回'NameError:<ReferenceError:int is not defined>'

Question

出于某种原因，Snakify（一个python在线学习工具）在运行下面的代码后返回'NameError:'，程序崩溃。你知道吗

from math import sqrt
from decimal import Decimal

n = int(input())
def F(n):
    return Decimal((1+sqrt(5))**n-(1-sqrt(5))**n)/(2**n*sqrt(5))
print(F(n))

代码是打印第n个斐波那契数。我不明白“int”是怎么定义的