Imaginary Mathematics for Computer Science