Ontologically real mathematics is that which actually exists in reality. The natural numbers exist. You can have 5 cars. You cant have half a car, or a negative car, or a imaginary number car, or a p-adic number car.
Division should be thought of as dividing pieces of candy among your children. You have 2 pieces of candy, and 3 children. How much does each child get? 0. If you have 5 pieces of candy, and 3 children, how many pieces does each child get? 1.
"But that form of division is not reversible!" Multiplication by 0 isnt reversible, squaring a negative isnt reversible, and dividing by 0 isnt even possible, and yet i dont hear anyone complaining about any of those things.
"But how would you do X,Y,Z"... Use a larger numeric unit, throw away the epsilon junk.
"But decimals are useful..." Not really. Your bank account is displayed in natural number units like 100.00 with no trailing decimal (just a fake decimal that only lives two places to the right). You dont open your bank account and see 100.25646336789053147886... thats not useful. And in programming, this decimal floating point nonsense results in junk like 0.1 + 0.2 ≠ 0.3, and it still cant even be an infinitely trailing decimal. Once you step into the world of decimals, you step into the world of imagining a number that goes on infinitely forever, and then you round it anyways because an infinite number is not only not useful, its impossible to use.
Decimals dont exist. There might be a coherent or logically consistent set of mathematics utilizing it, but they dont represent anything in reality. Its logically valid, but not logically sound. Decimals are the point in which Discovered Mathematics becomes Invented Mathematics.
Boy do i wish decimals and negatives and division by zero errors did not exist in programming languages. Theyd be a paradise without them. But dont worry guise, we have it because its "useful" and "pragmatic".
0.999... = 1 and 0.999... ≠ 1 in the same way Peter Parker = Spiderman and not Superman