[PD] a couple complex number abstractions