A formal approach to rounding | IEEE Conference Publication | IEEE Xplore