RichDouble
ApproxEquality