It seems to me that we should use fixed point arithmetic to represent real numbers. The two key advantages are 1) we can reuse integer ALUs to implement this ar

It seems to me that we should use fixed point arithmetic to represent real numbers. The two key advantages are 1) we can reuse integer ALUs to implement this arithmetic, with no need for dedicated FP units, 2) fixed point arithmetic is simple and easy to reason about and 3) conversion to and from integer types becomes trivial.