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]'*(?)?