Bounds for floating-point roundoff noise | IEEE Journals & Magazine | IEEE Xplore