On properties of floating-point roundoff noise | IEEE Journals & Magazine | IEEE Xplore