¹⁶Of course it also covers any pair of real-valued zeros, but we didn’t need this construction to represent real-valued zeros.