Largest normalizable machine number (WMA)
$MaxMachineNumber
The product of $MaxMachineNumber and $MinMachineNumber is a constant:
$MinMachineNumber
$MaxMachineNumber * $MinMachineNumber