feat: add (msb, getMsbD)_twoPow
#5780
copyright-header.yml
on: pull_request
check-lean-files
22s
(msb, getMsbD)_twoPow
#5780