yeah i have never really seen someone breakdown the axioms of floating point mathematics, like how do you define addition in a system that is not closed under "normal" addition.
mathematicians have spent a lot of time investigating objects that lack parts of the normal algebraic structure. In a way it's fields like the real numbers that are the unusual (rather than "normal").
