Using N3096, https://gustedt.gitlabpages.inria.fr/c23-library/#stdbit, and the implementation of the `stdc_bit_floor` functions #84233 as reference. Currently working on this.