Updating: improving prelude/float.