[turbofan] Properly represent the float64 hole.

src/compiler/typer.cc

Index: src/compiler/typer.cc
diff --git a/src/compiler/typer.cc b/src/compiler/typer.cc
index ca5f7b47b4d32865cff77cac6c9db6cb84c15454..6873b0a06a09ad23ea02ba7e36091dfc0e1d1af9 100644
--- a/src/compiler/typer.cc
+++ b/src/compiler/typer.cc
@@ -1839,8 +1839,7 @@ Type* Typer::Visitor::TypeCheckMaps(Node* node) {
 }
 
 Type* Typer::Visitor::TypeCheckNumber(Node* node) {
-  Type* arg = Operand(node, 0);
-  return Type::Intersect(arg, Type::Number(), zone());
+  return typer_->operation_typer_.CheckNumber(Operand(node, 0));
 }
 
 Type* Typer::Visitor::TypeCheckReceiver(Node* node) {
@@ -1859,8 +1858,7 @@ Type* Typer::Visitor::TypeCheckString(Node* node) {
 }
 
 Type* Typer::Visitor::TypeCheckFloat64Hole(Node* node) {
-  Type* type = Operand(node, 0);
-  return type;
+  return typer_->operation_typer_.CheckFloat64Hole(Operand(node, 0));
 }
 
 Type* Typer::Visitor::TypeCheckTaggedHole(Node* node) {