Standard complex number in std library

Linking to your ACP, transitioned into an RFC: