decimal package:what4
Create a literal as a real from the given integer.
Read decimal number, returning rational and rest of string, or a
failure message if first character is not a digit.
A decimal number has the form
(-)([0..9])+([0..9])+
.([0.9]'*(
?)?