Updating: improving prelude/float