use emulated floating point addition as reference