Basic SMT-Lib translations for SFloat/SDouble

In particular, ensure that equality is properly respected; since
floating point equality is not reflexive. (NaN /= NaN)