Oops, it's $float, not float!