floating_point_weiss.datagz 1.5 MB