java string format double to int