Big search and replace namespace and class renaming: get rid of last references to "big_number" and "real".