How do you evaluate log64(1)?