
$b \notin Z_{\ge 0}$
