type(div != nil)
