System.print(Num.largest) // expect: 1.7976931348623e+308