answered 2 years ago
RealNumber can be imported from sage.all:
RealNumber
sage.all
from sage.all import RealNumber
updated 2 years ago
RealNumber can be imported and used from sage.all:
from sage.all import RealNumber # ... test = RealNumber(1.2)