Global asymptotic stability of digital filters with roundoff nonlinearities