test for ECDouble