floating_point_weiss.memgz 418 KB