MetricSpace[BigInt, BigInt] and tests

Also includes a fix for `Signed[BigInt]`.