Largest positive floating-point number
realmax realmax('single')
number_properties("huge") // No equivalent