Fuente TeX:

eps*realmin = 4.9407e-324,