float comparison and conversion
make-single-float, make-double-float and vice versa