string(type(half))
