Why is the standard for floating point arithmetic called "IEEE 754"...