The Integrality of Algebraic Witt Vectors Over Imaginary Quadratic Fields Is Decidable | Synapse