> Your logic would presumably interpret this as even naturals.. but ya My logic comes from a Math background. Take any Abstract Algebra class and this notatio

> Your logic would presumably interpret this as even naturals.. but ya My logic comes from a Math background. Take any Abstract Algebra class and this notation is common. For example: https://math.stackexchange.com/questions/1378174/how-to-denote-an-even-number-in-mathematics#:~:text=The%20integers.,set%20of%20all%20even%20numbers https://math.stackexchange.com/questions/1378174/how-to-deno.... To say the least I take numerous issues with the notation used, but I accept it. Since the integers and the naturals have the same cardinality, we have that Int = Nat.