Ah, @psychocoderHPC just told me he wants to use that for margins like `<0,0,0>` -.-