double MIN_POSITIVE = 5e-324