Use Num.bound#1862

pi8027 wants to merge 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

pi8027:num_boundpi8027/analysis:num_boundCopy head branch name to clipboard