berkeley-testfloat-3