For UnsignedInt 0, reform is_power_of_two() to return false, next_power_of_two() to return 1, and checked_next_power_of_two() to return Some(1)