In general I like clumping like classes into the same file. This felt like enough of a separate concept to justify its own file. (Despite the fact that the concept is only used by verifying doubles.)