string format java double precision