Fixed bug in eval_float.