70                 Variable* var_right_double, Label* bigints);
369   VARIABLE(var_right_double, MachineRepresentation::kFloat64);  in TF_BUILTIN()
402           var_right_double.Bind(SmiToFloat64(right));  in TF_BUILTIN()
416         var_right_double.Bind(LoadHeapNumberValue(right));  in TF_BUILTIN()
443         var_right_double.Bind(SmiToFloat64(right));  in TF_BUILTIN()
471           var_right_double.Bind(LoadHeapNumberValue(right));  in TF_BUILTIN()
549     Node* value = Float64Add(var_left_double.value(), var_right_double.value());  in TF_BUILTIN()
590                                        Variable* var_right_double,  in BinaryOp()  argument
596   DCHECK_IMPLIES(var_right_double != nullptr,  in BinaryOp()
597                  var_right_double->rep() == MachineRepresentation::kFloat64);  in BinaryOp()
598   DCHECK_EQ(var_left_double == nullptr, var_right_double == nullptr);  in BinaryOp()
618     var_right_double->Bind(LoadHeapNumberValue(var_right->value()));  in BinaryOp()
630       var_right_double->Bind(SmiToFloat64(var_right->value()));  in BinaryOp()
640       var_right_double->Bind(LoadHeapNumberValue(var_right->value()));  in BinaryOp()
678   VARIABLE(var_right_double, MachineRepresentation::kFloat64);  in TF_BUILTIN()
682                        &var_left_double, &var_right_double, &do_bigint_sub);  in TF_BUILTIN()
694       var_right_double.Bind(SmiToFloat64(var_right.value()));  in TF_BUILTIN()
701     Node* value = Float64Sub(var_left_double.value(), var_right_double.value());  in TF_BUILTIN()
801   VARIABLE(var_right_double, MachineRepresentation::kFloat64);  in TF_BUILTIN()
805                        &var_left_double, &var_right_double, &do_bigint_mul);  in TF_BUILTIN()
812   Node* value = Float64Mul(var_left_double.value(), var_right_double.value());  in TF_BUILTIN()
827   VARIABLE(var_right_double, MachineRepresentation::kFloat64);  in TF_BUILTIN()
831                        &var_left_double, &var_right_double, &do_bigint_div);  in TF_BUILTIN()
888       var_right_double.Bind(SmiToFloat64(divisor));  in TF_BUILTIN()
895     Node* value = Float64Div(var_left_double.value(), var_right_double.value());  in TF_BUILTIN()
911   VARIABLE(var_right_double, MachineRepresentation::kFloat64);  in TF_BUILTIN()
915                        &var_left_double, &var_right_double, &do_bigint_mod);  in TF_BUILTIN()
921   Node* value = Float64Mod(var_left_double.value(), var_right_double.value());  in TF_BUILTIN()