Update Double.php