In practice, using just floating point is too limiting. Is there a way to introduce integers without making the core language typed? Typing can easily be inferred, so is there a way to fake the use of integers? Is typing actually necessary at that level? Why can't a number just be a number, leaving the float/int distinction to compile time? Let's try that first.