Complex and Quaternion bugfixes. Rename BigInt to BigNum and give it a type.