A Real literal from an int, a Fraction or a str (“-3/7”, “0.25”, “12”); a float raises.
STP
The Simple Theorem Prover
