Public Functions
both parts
DOES_NOT_FIT.
nearest double
“-3/7” or “12”
Public Members
decimal; may carry a leading ‘-’
decimal; > 0; lowest terms
STP
The Simple Theorem Prover