from double precision to single precision