ASCII output precision now limited to 16 (instead of 12)