[Typer] [Git][monnier/typer][master] Pretend we use bigints for Sexp integers