improved (fixed) conversion of real values to bit vectors
improved realmath test bench