deal with double-precisions until we compute hashcodes.