Oops -- missed FloatingPointError in renaming.
2 files changed