An efficient software implementation of correctly rounded operations extending FMA: A + b + c and a × b + c × d | IEEE Conference Publication | IEEE Xplore