7th root of 128