Correctly rounded constant integer division via multiply-add | IEEE Conference Publication | IEEE Xplore