One nice way to figure out the correct import statements is to use the import_statements function.
sage: import_statements('RealNumber')