[PPL-devel] Precision of doubles and stdio