On 2018-01-17 17:23:02 +0100, Marc Glisse wrote: > Indeed, it doesn't make sense to have both the assertion and > COUNT_LEADING_ZEROS_0. Would it work to remove the assertion instead?
Yes, this works too (assuming that 0 will always be converted to +0). -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon) _______________________________________________ gmp-bugs mailing list gmp-bugs@gmplib.org https://gmplib.org/mailman/listinfo/gmp-bugs