Convert reals to floats for printing