hash: Implement hash function for "double" values.