Update procedure inexact? to built-in

Signed-off-by: yamacir-kit <[email protected]>

README.md

@@ -99,7 +99,7 @@ Procedures for each standard are provided by the following R7RS-style libraries:
 cmake -B build -DCMAKE_BUILD_TYPE=Release
 cd build
 make package
-sudo apt install build/meevax_0.5.8_amd64.deb
+sudo apt install build/meevax_0.5.9_amd64.deb
 ```
 
 or
@@ -131,9 +131,9 @@ sudo rm -rf /usr/local/share/meevax
 
 | Target Name | Description
 |-------------|-------------
-| `all`       | Build shared-library `libmeevax.0.5.8.so` and executable `meevax`
+| `all`       | Build shared-library `libmeevax.0.5.9.so` and executable `meevax`
 | `test`      | Test executable `meevax`
-| `package`   | Generate debian package `meevax_0.5.8_amd64.deb`
+| `package`   | Generate debian package `meevax_0.5.9_amd64.deb`
 | `install`   | Copy files into `/usr/local` directly
 
 ## Usage

VERSION

@@ -1 +1 @@
-0.5.8
+0.5.9

basis/r4rs.ss

@@ -52,6 +52,7 @@
                 rational?
                 integer?
                 exact?
+                inexact?
                 = < > <= >=
                 + * - /
                 abs
@@ -332,17 +333,6 @@
                        (car alist)
                        (assoc (cdr alist)))))))
 
-         (define (inexact? z)
-           (define (inexact-complex? x)
-             (and (imaginary? x)
-                  (or (inexact? (real-part x))
-                      (inexact? (imag-part x)))))
-           (define (floating-point? z)
-             (or (single-float? z)
-                 (double-float? z)))
-           (or (inexact-complex? z)
-               (floating-point? z)))
-
          (define (zero? n)
            (= n 0))