use `unsigned __int128' instead of legacy typedef `__uint128_t'
work around undefined behavior with __builtin_clzll(0)