Source for file Double.php

<?php
class PHPFIT_TypeAdapter_Double extends PHPFIT_TypeAdapter {
 
    private $PRECISION = 0.000001;
 
    public function equals($a, $b) {
        return $this->doubleEquals($a, $b);
    }
 
    public function doubleEquals($a, $b) {
        if (abs($b - $a) < $this->PRECISION) {
            return true;
        }
        return false;
    }
 
    public function parse($s) {
        return (double) $s;
    }
}
?>