type(half != nil)
