+: readflonum ( -- flonum )
+ readfixnum drop
+ dup 0< swap abs i->f
+
+ [char] . nextchar = if
+ inc-parse-idx
+
+ 10.0 ( f exp )
+
+ begin digit? while
+ nextchar [char] 0 - i->f ( f exp d )
+ over f/ rot f+ ( exp f' )
+ swap 10.0 f* ( f' exp' )
+ inc-parse-idx
+ repeat
+
+ drop
+ then
+
+ [char] e nextchar = [char] E nextchar = or if
+ inc-parse-idx
+ 10.0
+ readfixnum drop i->f
+ f^ f*
+ then
+
+ swap if
+ -1.0 f*
+ then
+
+ flonum-type
+;
+
+: make-rational ( fixnum fixnum -- ratnum|fixnum )
+ drop swap drop
+ simplify
+
+ dup 1 = if
+ drop fixnum-type
+ else
+ fixnum-type swap fixnum-type
+ cons drop ratnum-type
+ then
+;
+
+: readratnum ( -- ratnum )
+ readfixnum inc-parse-idx readfixnum
+ make-rational
+;
+