add exact floating point arithmetic