Make sure we actually get something in get_float().