diff --git a/.codacy.yml b/.codacy.yml
index 9317195c4c..9baa3631e2 100644
--- a/.codacy.yml
+++ b/.codacy.yml
@@ -25,8 +25,8 @@
 #  package name contains capital letter and such names are conventional.
 ---
 exclude_paths:
-  - "eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOpow.java"
-  - "eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOasin.java"
-  - "eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOacos.java"
-  - "eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOln.java"
-  - "eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOsqrt.java"
+  - "eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOpow.java"
+  - "eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOasin.java"
+  - "eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOacos.java"
+  - "eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOln.java"
+  - "eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOsqrt.java"
diff --git a/eo-runtime/src/main/eo/org/eolang/math/real-number.eo b/eo-runtime/src/main/eo/org/eolang/math/real-number.eo
index 6f252e1365..e2b1a42966 100644
--- a/eo-runtime/src/main/eo/org/eolang/math/real-number.eo
+++ b/eo-runtime/src/main/eo/org/eolang/math/real-number.eo
@@ -29,10 +29,10 @@
 +version 0.0.0
 
 # Real number.
-[num] > real-number
+[num] > real
   num > @
   # Returns Euler's number raised to the power of a `num`.
-  (QQ.math.real-number e).pow num > exp
+  (QQ.math.real e).pow num > exp
 
   # Calculate MOD.
   [x] > mod
@@ -47,8 +47,8 @@
         abs-mod.neg
 
     [] > abs-mod
-      (QQ.math.real-number ^.dividend).abs > dividend-abs
-      (QQ.math.real-number ^.divisor).abs > divisor-abs
+      (QQ.math.real ^.dividend).abs > dividend-abs
+      (QQ.math.real ^.divisor).abs > divisor-abs
       minus. > @
         dividend-abs
         divisor-abs.times
diff --git a/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOacos.java b/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOacos.java
similarity index 92%
rename from eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOacos.java
rename to eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOacos.java
index 16afff9b15..c14b384d81 100644
--- a/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOacos.java
+++ b/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOacos.java
@@ -36,14 +36,14 @@
 import org.eolang.XmirObject;
 
 /**
- * Real-number.acos.
+ * Real.acos.
  *
  * @since 0.40
  * @checkstyle TypeNameCheck (100 lines)
  */
-@XmirObject(oname = "real-number.acos")
+@XmirObject(oname = "real.acos")
 @SuppressWarnings("PMD.AvoidDollarSigns")
-public final class EOreal_number$EOacos extends PhDefault implements Atom {
+public final class EOreal$EOacos extends PhDefault implements Atom {
     @Override
     public Phi lambda() throws Exception {
         return new ToPhi(
diff --git a/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOasin.java b/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOasin.java
similarity index 92%
rename from eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOasin.java
rename to eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOasin.java
index fcee8a8d59..d939557ad2 100644
--- a/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOasin.java
+++ b/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOasin.java
@@ -36,14 +36,14 @@
 import org.eolang.XmirObject;
 
 /**
- * Real-number.asin.
+ * Real.asin.
  *
  * @since 0.40
  * @checkstyle TypeNameCheck (100 lines)
  */
-@XmirObject(oname = "real-number.asin")
+@XmirObject(oname = "real.asin")
 @SuppressWarnings("PMD.AvoidDollarSigns")
-public final class EOreal_number$EOasin extends PhDefault implements Atom {
+public final class EOreal$EOasin extends PhDefault implements Atom {
     @Override
     public Phi lambda() throws Exception {
         return new ToPhi(
diff --git a/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOln.java b/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOln.java
similarity index 92%
rename from eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOln.java
rename to eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOln.java
index dabd51c0c5..14a83716be 100644
--- a/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOln.java
+++ b/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOln.java
@@ -36,14 +36,14 @@
 import org.eolang.XmirObject;
 
 /**
- * Real-number.ln.
+ * Real.ln.
  *
  * @since 0.40
  * @checkstyle TypeNameCheck (100 lines)
  */
-@XmirObject(oname = "real-number.ln")
+@XmirObject(oname = "real.ln")
 @SuppressWarnings("PMD.AvoidDollarSigns")
-public final class EOreal_number$EOln extends PhDefault implements Atom {
+public final class EOreal$EOln extends PhDefault implements Atom {
     @Override
     public Phi lambda() throws Exception {
         return new ToPhi(
diff --git a/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOpow.java b/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOpow.java
similarity index 92%
rename from eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOpow.java
rename to eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOpow.java
index 7cda3a79ce..e1dc1f4ee1 100644
--- a/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOpow.java
+++ b/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOpow.java
@@ -37,19 +37,19 @@
 import org.eolang.XmirObject;
 
 /**
- * Real-number.pow.
+ * Real.pow.
  *
  * @since 0.40
  * @checkstyle TypeNameCheck (100 lines)
  */
-@XmirObject(oname = "real-number.pow")
+@XmirObject(oname = "real.pow")
 @SuppressWarnings("PMD.AvoidDollarSigns")
-public final class EOreal_number$EOpow extends PhDefault implements Atom {
+public final class EOreal$EOpow extends PhDefault implements Atom {
     /**
      * Ctor.
      */
     @SuppressWarnings("PMD.ConstructorOnlyInitializesOrCallOtherConstructors")
-    public EOreal_number$EOpow() {
+    public EOreal$EOpow() {
         this.add("x", new AtVoid("x"));
     }
 
diff --git a/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOsqrt.java b/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOsqrt.java
similarity index 92%
rename from eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOsqrt.java
rename to eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOsqrt.java
index 1559ad1af5..a2e48e1401 100644
--- a/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal_number$EOsqrt.java
+++ b/eo-runtime/src/main/java/EOorg/EOeolang/EOmath/EOreal$EOsqrt.java
@@ -36,14 +36,14 @@
 import org.eolang.XmirObject;
 
 /**
- * Real-number.sqrt.
+ * Real.sqrt.
  *
  * @since 0.40
  * @checkstyle TypeNameCheck (100 lines)
  */
-@XmirObject(oname = "real-number.sqrt")
+@XmirObject(oname = "real.sqrt")
 @SuppressWarnings("PMD.AvoidDollarSigns")
-public final class EOreal_number$EOsqrt extends PhDefault implements Atom {
+public final class EOreal$EOsqrt extends PhDefault implements Atom {
     @Override
     public Phi lambda() throws Exception {
         return new ToPhi(
diff --git a/eo-runtime/src/test/eo/org/eolang/math/real-number-tests.eo b/eo-runtime/src/test/eo/org/eolang/math/real-tests.eo
similarity index 73%
rename from eo-runtime/src/test/eo/org/eolang/math/real-number-tests.eo
rename to eo-runtime/src/test/eo/org/eolang/math/real-tests.eo
index a957b059bd..093f74b1bf 100644
--- a/eo-runtime/src/test/eo/org/eolang/math/real-number-tests.eo
+++ b/eo-runtime/src/test/eo/org/eolang/math/real-tests.eo
@@ -22,7 +22,7 @@
 
 +alias org.eolang.math.e
 +alias org.eolang.math.pi
-+alias org.eolang.math.real-number
++alias org.eolang.math.real
 +architect yegor256@gmail.com
 +home https://github.com/objectionary/eo
 +tests
@@ -32,61 +32,61 @@
 # Test.
 [] > abs-int-positive
   eq. > @
-    (real-number 3).abs
+    (real 3).abs
     3
 
 # Test.
 [] > abs-int-negative
   eq. > @
-    (real-number -3).abs
+    (real -3).abs
     3
 
 # Test.
 [] > abs-zero
   eq. > @
-    (real-number 0).abs
+    (real 0).abs
     0
 
 # Test.
 [] > abs-float-positive
   eq. > @
-    (real-number 13.5).abs
+    (real 13.5).abs
     13.5
 
 # Test.
 [] > abs-float-negative
   eq. > @
-    (real-number -17.9).abs
+    (real -17.9).abs
     17.9
 
 # Test.
 [] > mod-1-2
   eq. > @
-    (real-number 1).mod 2
+    (real 1).mod 2
     1
 
 # Test.
 [] > mod-0-5
   eq. > @
-    (real-number 0).mod 5
+    (real 0).mod 5
     0
 
 # Test.
 [] > mod-0-15-neg
   eq. > @
-    (real-number 0).mod -15
+    (real 0).mod -15
     0
 
 # Test.
 [] > mod-1-neg-7
   eq. > @
-    (real-number -1).mod 7
+    (real -1).mod 7
     -1
 
 # Test.
 [] > mod-16-200-neg
   eq. > @
-    (real-number 16).mod -200
+    (real 16).mod -200
     16
 
 # Test.
@@ -95,7 +95,7 @@
 [] > div-mod-compatibility
   -13 > dividend
   5 > divisor
-  (real-number dividend).mod divisor > remainder
+  (real dividend).mod divisor > remainder
   (dividend.div divisor).floor > quotient
   eq. > @
     plus.
@@ -109,287 +109,287 @@
 # Checks modulo: dividend < divisor.
 [] > mod-dividend-less-than-divisor
   eq. > @
-    (real-number -1).mod 5
+    (real -1).mod 5
     -1
 
 # Test.
 # Checks modulo by 1.
 [] > mod-dividend-by-one
   eq. > @
-    (real-number 133).mod 1
+    (real 133).mod 1
     0
 
 # Test.
 [] > pow-test
   eq. > @
-    (real-number 2).pow 4
+    (real 2).pow 4
     16
 
 # Test.
 [] > pow-is-zero
   eq. > @
-    (real-number 2).pow 0
+    (real 2).pow 0
     1
 
 # Test.
 [] > pow-is-negative
   eq. > @
-    (real-number 984782).pow -12341
+    (real 984782).pow -12341
     0
 
 # Test.
 [] > pow-of-two
   eq. > @
-    (real-number 3).pow 2
+    (real 3).pow 2
     9
 
 # Test.
 [] > pow-of-zero
   eq. > @
-    (real-number 0).pow 145
+    (real 0).pow 145
     0
 
 # Test.
 [] > throws-on-negative-pow-of-zero
-  (real-number 0).pow -567 > @
+  (real 0).pow -567 > @
 
 # Test.
 # Check pow works with NaNs.
 [] > nan-to-the-pow-of-nan-is-nan
   is-nan. > @
-    (real-number nan).pow nan
+    (real nan).pow nan
 
 # Test.
 [] > nan-to-the-pow-of-any-is-nan
   is-nan. > @
-    (real-number nan).pow 42
+    (real nan).pow 42
 
 # Test.
 [] > any-to-the-pow-of-nan-is-nan
   is-nan. > @
-    (real-number 52).pow nan
+    (real 52).pow nan
 
 # Test.
 # Check if pow is zero.
 [] > any-int-to-the-pow-of-zero-is-one
   eq. > @
-    (real-number 42).pow 0
+    (real 42).pow 0
     1
 
 # Test.
 [] > any-float-to-the-pow-of-zero-is-one
   eq. > @
-    (real-number 42.5).pow 0
+    (real 42.5).pow 0
     1
 
 # Test.
 # Check if pow is less than zero
 [] > zero-to-the-negative-pow-is-positive-infinity
   eq. > @
-    (real-number 0).pow -52
+    (real 0).pow -52
     positive-infinity
 
 # Test.
 [] > zero-to-the-negative-infinity-pow-is-positive-infinity
   eq. > @
-    (real-number 0).pow negative-infinity
+    (real 0).pow negative-infinity
     positive-infinity
 
 # Test.
 [] > positive-int-to-the-pow-of-negative-infinity-is-zero
   eq. > @
-    (real-number 42).pow negative-infinity
+    (real 42).pow negative-infinity
     0
 
 # Test.
 [] > positive-float-to-the-pow-of-negative-infinity-is-zero
   eq. > @
-    (real-number 42.5).pow negative-infinity
+    (real 42.5).pow negative-infinity
     0
 
 # Test.
 [] > negative-int-to-the-pow-of-negative-infinity-is-zero
   eq. > @
-    (real-number -42).pow negative-infinity
+    (real -42).pow negative-infinity
     0
 
 # Test.
 [] > negative-float-to-the-pow-of-negative-infinity-is-zero
   eq. > @
-    (real-number -42.5).pow negative-infinity
+    (real -42.5).pow negative-infinity
     0
 
 # Test.
 [] > positive-infinity-to-the-pow-of-negative-infinity-is-zero
   eq. > @
-    (real-number positive-infinity).pow negative-infinity
+    (real positive-infinity).pow negative-infinity
     0
 
 # Test.
 [] > negative-infinity-to-the-pow-of-negative-infinity-is-zero
   eq. > @
-    (real-number negative-infinity).pow negative-infinity
+    (real negative-infinity).pow negative-infinity
     0
 
 # Test.
 [] > positive-infinity-to-the-finite-negative-int-pow-is-zero
   eq. > @
-    (real-number positive-infinity).pow -42
+    (real positive-infinity).pow -42
     0
 
 # Test.
 [] > positive-infinity-to-the-finite-negative-float-pow-is-zero
   eq. > @
-    (real-number positive-infinity).pow -42.2
+    (real positive-infinity).pow -42.2
     0.0
 
 # Test.
 [] > two-to-the-pow-of-minus-one
   eq. > @
-    (real-number 2).pow -1
+    (real 2).pow -1
     0.5
 
 # Test.
 [] > two-to-the-pow-of-int-minus-two
   eq. > @
-    (real-number 2).pow -2
+    (real 2).pow -2
     0.25
 
 # Test.
 [] > two-to-the-pow-of-minus-three
   eq. > @
-    (real-number 2).pow -3
+    (real 2).pow -3
     0.125
 
 # Test.
 [] > four-to-the-pow-of-minus-three
   eq. > @
-    (real-number 4).pow -3.0
+    (real 4).pow -3.0
     0.015625
 
 # Test.
 # Check if pow more than zero.
 [] > zero-to-the-pow-of-positive-int-is-zero
   eq. > @
-    (real-number 0).pow 4
+    (real 0).pow 4
     0
 
 # Test.
 [] > zero-to-the-pow-of-positive-float-is-zero
   eq. > @
-    (real-number 0).pow 4.2
+    (real 0).pow 4.2
     0
 
 # Test.
 [] > zero-to-the-pow-of-positive-infinity-is-zero
   eq. > @
-    (real-number 0).pow positive-infinity
+    (real 0).pow positive-infinity
     0
 
 # Test.
 [] > negative-int-to-the-pow-of-positive-infinity-is-positive-infinity
   eq. > @
-    (real-number -10).pow positive-infinity
+    (real -10).pow positive-infinity
     positive-infinity
 
 # Test.
 [] > negative-float-to-the-pow-of-positive-infinity-is-infinity
   eq. > @
-    (real-number -4.2).pow positive-infinity
+    (real -4.2).pow positive-infinity
     positive-infinity
 
 # Test.
 [] > positive-int-to-the-pow-of-positive-infinity-is-positive-infinity
   eq. > @
-    (real-number 42).pow positive-infinity
+    (real 42).pow positive-infinity
     positive-infinity
 
 # Test.
 [] > positive-float-to-the-pow-of-positive-infinity-is-positive-infinity
   eq. > @
-    (real-number 42.5).pow positive-infinity
+    (real 42.5).pow positive-infinity
     positive-infinity
 
 # Test.
 [] > positive-infinity-to-the-pow-of-positive-int-is-positive-infinity
   eq. > @
-    (real-number positive-infinity).pow 42
+    (real positive-infinity).pow 42
     positive-infinity
 
 # Test.
 [] > positive-infinity-to-the-pow-of-positive-float-is-positive-infinity
   eq. > @
-    (real-number positive-infinity).pow 10.8
+    (real positive-infinity).pow 10.8
     positive-infinity
 
 # Test.
 [] > positive-infinity-to-the-pow-of-positive-infinity-is-positive-infinity
   eq. > @
-    (real-number positive-infinity).pow positive-infinity
+    (real positive-infinity).pow positive-infinity
     positive-infinity
 
 # Test.
 [] > negative-infinity-to-the-pow-of-positive-float-is-positive-infinity
   eq. > @
-    (real-number negative-infinity).pow 9.9
+    (real negative-infinity).pow 9.9
     positive-infinity
 
 # Test.
 [] > negative-infinity-to-the-pow-of-even-positive-int-is-positive-infinity
   eq. > @
-    (real-number negative-infinity).pow 10
+    (real negative-infinity).pow 10
     positive-infinity
 
 # Test.
 [] > negative-infinity-to-the-pow-of-odd-positive-int-is-positive-infinity
   eq. > @
-    (real-number negative-infinity).pow 9
+    (real negative-infinity).pow 9
     negative-infinity
 
 # Test.
 [] > positive-int-to-the-pow-of-positive-int-is-int
   eq. > @
-    (real-number 2).pow 3
+    (real 2).pow 3
     8
 
 # Test.
 [] > positive-float-to-the-pow-of-positive-int-is-float
   eq. > @
-    (real-number 3.5).pow 4
+    (real 3.5).pow 4
     150.0625
 
 # Test.
 [] > positive-int-to-the-pow-of-positive-float-is-float
   eq. > @
-    (real-number 4).pow 5
+    (real 4).pow 5
     1024
 
 # Test.
 [] > sqrt-check-zero-input
   lt. > @
     abs.
-      real-number
+      real
         minus.
           0
           sqrt.
-            real-number 0
+            real 0
     0.00000000001
 
 # Test.
 [] > sqrt-check-negative-input
   is-nan. > @
     sqrt.
-      real-number -0.1
+      real -0.1
 
 # Test.
 [] > sqrt-check-float-input
   lt. > @
     abs.
-      real-number
+      real
         minus.
           2
           sqrt.
-            real-number
+            real
               4
     0.00000000001
 
@@ -397,11 +397,11 @@
 [] > sqrt-check-int-input
   lt. > @
     abs.
-      real-number
+      real
         minus.
           9
           sqrt.
-            real-number
+            real
               81
     0.00000000001
 
@@ -409,87 +409,87 @@
 [] > sqrt-check-nan-input
   is-nan. > @
     sqrt.
-      real-number nan
+      real nan
 
 # Test.
 [] > sqrt-check-infinity-1
   eq. > @
     sqrt.
-      real-number positive-infinity
+      real positive-infinity
     positive-infinity
 
 # Test.
 [] > sqrt-check-infinity-2
   is-nan. > @
     sqrt.
-      real-number negative-infinity
+      real negative-infinity
 
 # Test.
 [] > ln-of-negative-float-is-nan
   is-nan. > @
     ln.
-      real-number -2.2
+      real -2.2
 
 # Test.
 [] > ln-of-zero-is-negative-infinity
   eq. > @
     ln.
-      real-number 0
+      real 0
     negative-infinity
 
 # Test.
 [] > ln-of-one-is-zero
   eq. > @
     ln.
-      real-number 1
+      real 1
     0
 
 # Test.
 [] > ln-of-e-one-is-one
   eq. > @
     ln.
-      real-number e
+      real e
     1
 
 # Test.
 [] > ln-of-negative-int-is-nan
   is-nan. > @
     ln.
-      real-number -42
+      real -42
 
 # Test.
 [] > ln-of-int-zero-is-negative-infinity
   eq. > @
     ln.
-      real-number 0
+      real 0
     negative-infinity
 
 # Test.
 [] > ln-of-int-one-is-zero
   eq. > @
     ln.
-      real-number 1
+      real 1
     0
 
 # Test.
 [] > ln-of-twenty
   eq. > @
     ln.
-      real-number 20
+      real 20
     2.995732273553991
 
 # Test.
 [] > arccos-negative-one-test
   eq. > @
     acos.
-      real-number -1.0
+      real -1.0
     pi
 
 # Test.
 [] > arccos-zero-test
   eq. > @
     acos.
-      real-number 0
+      real 0
     div.
       pi
       2
@@ -498,17 +498,17 @@
 [] > arccos-one-test
   eq. > @
     acos.
-      real-number 1.0
+      real 1.0
     0
 
 # Test.
 [] > arccos-positive-calculated-test
   lt. > @
     abs.
-      real-number
+      real
         minus.
           acos.
-            real-number 0.6
+            real 0.6
           0.927295
     0.000001
 
@@ -516,10 +516,10 @@
 [] > arccos-negative-calculated-test
   lt. > @
     abs.
-      real-number
+      real
         minus.
           acos.
-            real-number -0.6
+            real -0.6
           2.214297
     0.000001
 
@@ -527,76 +527,76 @@
 [] > arccos-nan-positive-value-test
   is-nan. > @
     acos.
-      real-number 2.0
+      real 2.0
 
 # Test.
 [] > arccos-nan-negative-value-test
   is-nan. > @
-    (real-number -2.0).acos
+    (real -2.0).acos
 
 # Test.
 [] > exp-check-0
   lt. > @
     abs.
-      real-number
+      real
         minus.
           e
-          (real-number 1).exp
+          (real 1).exp
     0.00000001
 
 # Test.
 [] > exp-check-1
   lt. > @
     abs.
-      real-number
+      real
         minus.
           e
-          (real-number 1).exp
+          (real 1).exp
     0.00000001
 
 # Test.
 [] > exp-check-2
   lt. > @
     abs.
-      real-number
+      real
         minus.
           1.div e
-          (real-number -1).exp
+          (real -1).exp
     0.00000001
 
 # Test.
 [] > exp-check-3
   lt. > @
     abs.
-      real-number
+      real
         minus.
-          (real-number e).pow 5
-          (real-number 5).exp
+          (real e).pow 5
+          (real 5).exp
     0.0000001
 
 # Test.
 [] > exp-check-4
   lt. > @
     abs.
-      real-number
+      real
         minus.
-          (real-number e).pow -10
-          (real-number -10).exp
+          (real e).pow -10
+          (real -10).exp
     0.000000000001
 
 # Test.
 [] > exp-check-nan
   is-nan. > @
-    (real-number nan).exp
+    (real nan).exp
 
 # Test.
 [] > exp-check-infinity-1
   eq. > @
-    (real-number positive-infinity).exp
+    (real positive-infinity).exp
     positive-infinity
 
 # Test.
 [] > exp-check-infinity-2
   eq. > @
-    (real-number negative-infinity).exp
+    (real negative-infinity).exp
     0
\ No newline at end of file