Give z a reasonable type