Redundant digit floating point system by Hossam A.H. Fahmy