Use double() instead of now-deprecated mock().