Format numbers more nicely in obj_to_string.