org.specs2.internal.scalaz.std
Warning: the triangle inequality will not hold if b - a overflows.
b - a