rb_dbl_hash 178 hash.c hval = rb_dbl_hash(rb_float_value(a)); rb_dbl_hash 1238 numeric.c return rb_dbl_hash(RFLOAT_VALUE(num));