[lupire]

IEEE floating point is far more practical for computation than axiomatic arithmetic, but the fundamental axioms are a more intuitively enlightening description of what arithmetic is. Same with Maxwell and Heaviside. Understanding how it all fits together in fewer words makes the rules make sense. Heaviside gives meaning to Maxwells equations.