Exact arithmetic, inferred types, and an interactive shell running on your device.