floating point arithmetic 8279952