export and test RealInterval