U128: BN = ...