answered 3 years ago
One nice way to figure out the correct import statements is to use the import_statements function.
import_statements
In this case:
sage: import_statements('RealNumber') from sage.rings.real_mpfr import create_RealNumber as RealNumber