Using decimal$2$binary, what is the minimum number of mantissa bits that guarantees that the remainder calculated by the function is zero for any double precision rational or irrational input variable x$?$