Put me down for -1.  This doesn't seem like standard library material. It doesn't seem to address a common need and it would add complexity to an already complicated module (nor does it seem to have a good fit with the numeric tower).  The proposal seems like something that should exist outside the standard library (especially since we don't already provide interoperable types like SquareRoot(3)).