Benchmark FAISS: float16 vs float32