(Not necessarily for now)

Instead of calling `int`, shouldn't we typecheck this? Now floats are acceptable as well.