/**
* This method tests the "negate" method.
*
* @dataProvider data_negate
*/
public function test_negate(array $provided, array $expected)
{
$p0 = IDouble\Module::negate(IDouble\Type::box($provided[0]));
$e0 = $expected[0];
$this->assertInstanceOf('\\Saber\\Data\\IDouble\\Type', $p0);
$this->assertSame($e0, $p0->unbox());
}