identity じゃなくて同値性だけど、 Double の equals は前述の Java の通りだから。