Float underflow exception: what is it and how to cope