Beginning of ComplexFloat's implementation