PASCAL-SC Demonstration: Accurate Arithmetic for Verified Results