from misha denil: use float_min for smallest float.