(_ to_fp e s) by argument sort: another format, a signed bit-vector or a Real value.
STP
The Simple Theorem Prover
