Current specs: <img width="374" alt="Screenshot 2024-04-16 at 1 20 56 PM" src="https://github.com/source-academy/py-slang/assets/30220768/ec5b3653-6c39-4ae8-9e37-d29d49ea556e"> int + float is not listed **, but it should be listed**.