fix for int(None) in __nonzero__